(: Name: instanceof61 :)
(: purpose: Evaluation of "instance of" expression for pattern "double instance of xs:double".:)
(: insert-start :)
declare variable $input-context external;
(: insert-end :)
1267.43233E12 instance of xs:double