Fixes #1

The issue was that Swift Int is either 32-bit or 64-bit depending on the hardware. Ensure that we always use 64-bit Int.