def mul.sum4
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
421def mul.sum4(d: U32, c: U32, h11: U32, b1: U32, carry: U32, limb: Limb) -> W4:
422 match limb:
423 case Limb{+b, b2}:
424 mul.sum5(d, c, h11, b, (b1 + b2 : U32), carry)