Fixing incorrect PIN computation on 64-bit devices.

On 64-bit devices, the PIN computation is incorrect. Changing the hash marshaling to use ints fixes the problem, and does not change results for 32-bit platforms.

Also fixes #1.