Only call isqrt32() with a positive argument