lexer, parser: parse Double