I have an input file in Manchester syntax (attached) and when I parse it using the OWL API, the decimal literal in the input is not recognized as decimal but as a double.
I am using a Manchester to XML translator that is based on the OWL API and it produces a double in the XML output, so maybe something goes wrong internally. (I can provied the code if needed)
test case
Verified against the spec. Character sequences that are parsed as doubles should actually be parsed into decimals.
This is a duplicate of a more recent bug. Moving the example to it.