Fix integer literals at REPL