C++ now casts integers explicitly to double in sqrt() (necessary for Solaris)