std::extreme_value_distribution<RealType>::operator()