| (:*******************************************************:) | |
| (:Test:CastAs012:) | |
| (:Written By:Joanne Tong:) | |
| (:Date:2005-07-21T09:49:51-07:00:) | |
| (:Purpose:Try casting xs:untypedAtomic(-0.0E0) to xs:double:) | |
| (:*******************************************************:) | |
| xs:untypedAtomic("-0.0E0") cast as xs:double |