def remainder

bend-collections-laws-math@1.0.0.0 · spec/math/f64.bend:533

import Base
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F

533def remainder(+x: F.F64, +y: F.F64) -> F.F64:
534  pick(F.F64, rbad(x, y), qnan(), pick(F.F64, is_inf(y), x, rnear(sign(x), Nat.mod(ra(x, y), rb(x, y)), rb(x, y), Nat.div(ra(x, y), rb(x, y)), rsc(x, y))))