add 'std::min'