def spec_add

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

import Base

166# IEEE addition: the exact sum, rounded; x + (-x) is +0
167def spec_add(f: Format, a: Val, b: Val) -> Val:
168  match a:
169    case NaN{}:
170      NaN{}
171    case Inf{na}:
172      add.inf(na, b)
173    case Z{na}:
174      add.zero(na, b)
175    case Fin{na, ma, ea}:
176      add.fin(f, na, ma, ea, b)