change square root algorithm, among other BigInteger changes
change square root algorithm again and fix some of the regressions in binary floating point