added numerical format for parser.java