#786 Resolved Windows std::min, std::max problem