(:*******************************************************:)
(: Test: K2-SeqMINFunc-8                                 :)
(: Written by: Frans Englich                             :)
(: Date: 2006-08-04T17:13:26Z                            :)
(: Purpose: A test whose essence is: `min((5.0e0, 5)) instance of xs:double`. :)
(:*******************************************************:)
min((5.0e0, 5)) instance of xs:double