source.ml: Add Source.unread
lexer.ml: Add Lexer.lex_float
Add float literal