don't overload std::min() and std::max().