Fix exact-integer-sqrt.