Changed IntegerPair class into Integer64.