~/jendhub

def F32.round.zero

Base · base.bend:1891

import Base
1891# A rounded zero keeps the input sign, including at the negative half.
1892def F32.round.zero(a: F32, r: F32, zero: Bool) -> F32:
1893  match zero:
1894    case True{}:
1895      F32.mul(a, 0.0)
1896    case False{}:
1897      r

Uses (3)

Used by (1)