! Patches for 64 bit integers