Update message changed by merging pull request #2925 from WalterBright/redo-number-lexer