Significantly improved square rooting.

The old SQRT.bat was renamed ISQRT.bat. The new SQRT.bat can accept
decimal input and outputs the square root truncated after 9 significant
figures.