Decimal numbers cannot have leading zeros

[eguar11011]

I would like to work with some decimal numbers, but I'm not sure how to write them here. Here’s what I have so far:

>>> 0.001 + 0.2
Decimal numbers cannot have leading zeros
>>> 0.001 
Decimal numbers cannot have leading zeros

[danilopedraza]

This is a bug. I search for decimal integers with leading zeros in the lexer, where I did not consider the fact that they could be part of a decimal number (with a point).

[danilopedraza]

This was fixed in 65319e2534a20e9bfcd256efa366593c6823ceb8.