Define integerToWord64, word64ToInteger, integerToInt64, int64ToInteger