switched to xs:double