64 bit integers