add xsd:double (#1128)