fix front-end bug in int literals on 32-bit
probably fixes #3520