64 bit integer types