trailing dot in grammar rule for decimals

Hi,

if I understand the current grammar entry 74 for decimals
correctly, then a trailing dot is allowed. In this case,
(and together with the optional dot in the final triple
of a graph pattern,) the 1000 in {?foo ?bar 1000.} could be
an integer or a decimal, and I'm not 100% sure which literal
("1000" or "1000.0") to generate during the parsing process.
Not allowing the trailing dot would make parsing numeric
literals a little bit simpler.

(I've checked the turtle and the n3 grammars, n3 does not
allow the trailing dot, turtle however seems to allow it.)

Or am I misreading the grammar rules?


regards,
benjamin

--
Benjamin Nowack

Kruppstr. 100
45145 Essen, Germany
http://www.bnode.org/