more bignum work
i64sqrt->isqrt and concomitant changes