- Fixed lexing problems concerning decimals (at end of line 7.1, is now read)