They work correctly on 32 and 64 bit systems. The only case they go wrong is when the values exceed 2^31. But I'll change it anyway.