typedef double xsd__double