| (:*******************************************************:) | |
| (:Test:CastAs217:) | |
| (:Written By:Joanne Tong:) | |
| (:Date:2005-07-21T09:49:53-07:00:) | |
| (:Purpose:Try casting xs:double(INF) to xs:integer:) | |
| (:*******************************************************:) | |
| xs:double("INF") cast as xs:integer |