Fix std::midpoint for denormal values