efriedma-quic wrote: > That's a precondition of this function. Precondition where, exactly? As far as I know, both clang and gcc call __umodti3 for 128-bit modulo with unknown denominator. https://github.com/llvm/llvm-project/pull/82353