https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82749
--- Comment #10 from Tomasz Kamiński <tkaminsk at gcc dot gnu.org> --- The wording in the standard seem to Mandate that densities values are at least loaded as double regardless of result_type, e.g.: https://eel.is/c++draft/rand.dist.samp#pconst-7 >Mandates: Both of > (4.1) is_convertible_v<iterator_traits<InputIteratorB>::value_type, double> > (4.2) is_convertible_v<iterator_traits<InputIteratorW>::value_type, double> > are true. https://eel.is/c++draft/rand.dist.samp#pconst-7 > Mandates: is_invocable_r_v<double, UnaryOperation&, double> is true. (Note we need to transform RealType to double). This seem to be in-line with just convert from double to RealType during call interpretation. But, I think it was just oversigh. The Mandates where affected by p1719r2, by previous wording seem equivalent.
