blob: e5ef9ed5405916d2eab79f57648332c3020fbce1 [file] [log] [blame]
(:*******************************************************:)
(: Test: K-NumericAdd-4 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:36+02:00 :)
(: Purpose: A test whose essence is: `1.1 + 2.2 eq 3.3`. :)
(:*******************************************************:)
1.1 + 2.2 eq 3.3