fix int literal for 32bit platforms