Definition of numbers in the MathML RelaxNG

Hi Math WG,

I notice that in the regular expression for "length" and 
"mpadded-length", you use the following definition of numbers:

[0-9]*(\.[0-9]*)?

which allows empty string as numbers and whitespace-only "length". I'm 
wondering if you could replace this regular expression by:

[0-9]*(\.[0-9]*|[0-9])

That will make the schema a bit stricter and help me for a tool I'm 
developing.

Thank you,

-- 
Frédéric Wang
maths-informatique-jeux.com/blog/frederic