an int literal may have multiple underscores inside