Needed for std::sqrt.