Sqrt.mg is a portable implementations of Float.Sqrt.

