Type-safety for 64 bit