Clarification on enumerations

If I read the datatypes spec correctly, the 
following definition

<xs:simpleType name="AFewNumbers>
  <xs:restriction base="xs:decimal">
    <xs:enumeration value="1.2"/>
    <xs:enumeration value="5.5"/>
  </xs:restriction>
</xs:simpleType>

would not prevent lexical representations such
as +00001.2 and 5.5000000000 appearing in 
instances and being declared valid by the schema. 
Is this correct?

I'm assuming it is because enumerations operate on
the value space, and 1.2 and 5.5 each have an infinite
set of equivalent lexical representations.

Thanks
Michael

Received on Tuesday, 18 June 2002 08:25:29 UTC