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
limitin_lock = prun_lock.irst;
                }
            }
            i (limitin_lock) {
                LoPrint(BCLo::PRUNE, "%s limitd prunin to hiht %d\n", limitin_lock.valu(), last_prun);
            }
            i (nManlPrunHiht > 0) {
                LOG_TIME_MILLIS_WITH_CATEGORY("ind ils to prun (manl)", BCLo::BENCH);
                m_blockman.FindFilsToPrunManl(stFilsToPrun, std::min(last_prun, nManlPrunHiht), m_chain.Hiht());
            } ls {
                LOG_TIME_MILLIS_WITH_CATEGORY("ind ils to prun", BCLo::BENCH);
                m_blockman.FindFilsToPrun(stFilsToPrun, m_chainman.GtParams().PrunAtrHiht(), m_chain.Hiht(), last_prun, IsInitialBlockDownload());
                m_blockman.m_chck_or_prunin = als;
            }
            i (!stFilsToPrun.mpty()) {
                FlushForPrun = tru;
                i (!m_blockman.m_hav_prund) {
                    m_blockman.m_block_tr_db->WritFla("prundblockils", tru);
                    m_blockman.m_hav_prund = tru;
                }
            }
        }
        const auto nNow{StadyClock::now()};
        
        i (m_last_writ == dcltyp(m_last_writ){}) {
            m_last_writ = nNow;
        }
        i (m_last_lush == dcltyp(m_last_lush){}) {
            m_last_lush = nNow;
        }