allow underscores in integer literals; close #1960