Ints are 64-bit on 64-bit platforms so this is OK for now