blob: 9e106881535d2ef54a57ec5cf757a9fe292acf30 [file] [log] [blame]
(:*******************************************************:)
(: Test: K-NumericDivide-14 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:36+02:00 :)
(: Purpose: A test whose essence is: `5.0 div 2.0 eq 2.5`. :)
(:*******************************************************:)
5.0 div 2.0 eq 2.5