Somewhat fixed int_literals.
wh: added check for big integer