为何MSVC中std::exponential_distribution::max()返回inf？

以下代码使用最新MSVC++编译时会输出inf，但Clang编译运行无此问题：

#include <iostream>
#include <random>

int main()
{
    std::random_device rd;
    std::mt19937 gen(rd());
    
    std::exponential_distribution<double> d(1);

    std::cout << "max = " << d.max() << std::endl << std::endl;
}

根据std::exponential_distribution的官方文档说明，部分实现针对float类型可能偶尔返回无穷大（属于LWG issue 2524），但在MSVC中，即使使用默认的double类型，或是显式指定double/long double类型时，仍会出现该问题。

针对该现象，有以下疑问：

• 这仅仅是max()方法的bug，还是MSVC在生成double类型的分布值时，也有可能返回inf？由于随机性的存在，很难编写测试来验证这一点。
• 相关讨论中，有观点称换用double仅能降低inf出现的概率，但也有人表示换用double后问题得到解决。那么换用double是否只是让inf出现的概率降低，使其成为难以排查的隐性问题？
• 如果确实存在这类问题，std::exponential_distribution的实用性该如何保障？inf可能导致溢出、异常、错误计算甚至未定义行为。是否需要在每次生成分布值后，都通过std::isinf()进行检查？

内容的提问来源于stack exchange，提问作者Damir Tenishev