(:*******************************************************:)
(: Test: K2-RoundEvenFunc-1                              :)
(: Written by: Frans Englich                             :)
(: Date: 2006-08-04T17:13:26Z                            :)
(: Purpose: A test whose essence is: `round-half-to-even(1) eq 1`. :)
(:*******************************************************:)
round-half-to-even(1) eq 1