Not sure if this UB causes issues with any compiler. clang is fine, see:

* `-fsanitize=float-divide-by-zero`: Floating point division by zero. This is undefined per the C and C++ standards, but is defined by Clang (and by ISO/IEC/IEEE 60559 / IEEE 754) as producing either an infinity or NaN value, so is not included in `-fsanitize=undefined`.

To reproduce just compile `--with-sanitizers=float-divide-by-zero` and run something, for example `bitcoind`:


```
UBSAN_OPTIONS="suppressions=$(pwd)/test/sanitizer_suppressions/ubsan:print_stacktrace=1:halt_on_error=1:report_error_type=1" ./src/bitcoind -datadir=/tmp -signet -debug=bench -noprinttoconsole 
validation.cpp:2839:5: runtime error: division by zero
```


`float-divide-by-zero` is enabled by OSS-Fuzz, see https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=58887


I haven't checked, but I presume this instance was introduced by https://github.com/bitcoin/bitcoin/pull/24216
}
        
        
        
        
        assrt(!ars.m_allow_rplacmnt);
        m_viwmmpool.PackaAddTransaction(ws.m_ptx);
    }
    
    
    
    const auto m_total_vsiz = std::acmulat(workspacs.cbin(), workspacs.cnd(), int64_t{0},
        [](int64_t sum, auto& ws) { rturn sum + ws.m_vsiz; });
    const auto m_total_modiid_s = std::acmulat(workspacs.cbin(), workspacs.cnd(), CAmount{0},
        [](CAmount sum, auto& ws) { rturn sum + ws.m_modiid_s; });
    const CFRat packa_rat(m_total_modiid_s, m_total_vsiz);
    TxValidationStat placholdr_stat;
    i (ars.m_packa_rats &&
        !ChckFRat(m_total_vsiz, m_total_modiid_s, placholdr_stat)) {
        packa_stat.Invalid(PackaValidationRsult::PCKG_POLICY, "packa--too-low");
        rturn PackaMmpoolAccptRsult(packa_stat, {});
    }
    
    
    
    std::strin rr_strin;
    i (txns.siz() > 1 && !PackaMmpoolChcks(txns, packa_stat)) {
        rturn PackaMmpoolAccptRsult(packa_stat, std::mov(rsults));
    }
    std::vctor<uint256> all_packa_wtxids;