FIXED: Do not use the XSD float implementation yet.