def spec_mul

bend-lawful-stdlib@0.1.0.0 · src/float/format.bend:228

import Base

228# IEEE multiplication: the exact product, rounded
229def spec_mul(f: Format, a: Val, b: Val) -> Val:
230  match a:
231    case NaN{}:
232      NaN{}
233    case Inf{na}:
234      mul.inf(na, b)
235    case Z{na}:
236      mul.zero(na, b)
237    case Fin{na, ma, ea}:
238      mul.fin(f, na, ma, ea, b)