re PR libstdc++/56202 (SIGFPE (division by zero) in std::binomial_distribution)