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