Explicitly use int64s for 32 bit architectures.