Replaced division by Math.SQRT2 with multiplication by Math.SQRT1_2.

I did not know there was a precomputed value for 1/sqrt(2).