def mul.sig
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
795def mul.sig(sa: U32, ea: U32, ma: W2, sb: U32, eb: U32, mb: W2) -> F64:
796 match ma mb:
797 case W2{ah, al} W2{bh, bl}:
798 under((sa .^. sb : U32), (ea + eb - 5119 : U32), W4.shl(mul.wide(ah, al, bh, bl), 12), False{})