FP syntax .5 and 1. interferes with ranges 1..3
I would argue that a nice syntax for sequence ranges such as s[2..3] is more important (since more used) than the ability to shave a zero character before or after a dot in a floating point number.
Unless there is a strong disagreement, I would suggest to change the lexeme definition for floats in lexer.mll.