workaround overflow in max64