fix int_sqrt64() for very large numbers