def mul

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:361

import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64

import Base

361def mul(+x: F64, +y: F64) -> F64:
362  mul_cls(Bool.xor(signbit(x), signbit(y)), exp_field(x), frac(x), exp_field(y), frac(y), Nat.is_eq(exp_field(x), 2047n))

Uses (7)

Used by (3)