changed float to decimal since xs:float really means 32bit float