def mul.inf
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
843def mul.inf(inf: Bool, az: Bool, bz: Bool, sign: U32, sa: U32, ea: U32, ma: W2, sb: U32, eb: U32, mb: W2) -> F64:
844 match inf:
845 case True{}:
846 mul.inf.z(Bool.or(az, bz), sign)
847 case False{}:
848 mul.z(az, bz, sign, sa, ea, ma, sb, eb, mb)