F32.round.zero: def of Base
Import: import Base
Lines 1891-1897 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1891&end_line=1897

import Base

# A rounded zero keeps the input sign, including at the negative half.
def F32.round.zero(a: F32, r: F32, zero: Bool) -> F32:
  match zero:
    case True{}:
      F32.mul(a, 0.0)
    case False{}:
      r

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.mul