~/jendhub

def add.sub.lost

bend-kit-f64@0.1.0.0 · f64.bend:675

import bend-kit-f64@0.1.0.0/f64.bend as F64
import Base

675def add.sub.lost(lost: Bool, sign: U32, exp: U32, +total: W4) -> F64:
676  match lost:
677    case False{}:
678      add.cancel(W4.nz(total), sign, exp, total, False{})
679    case True{}:
680      add.borrow(sign, exp, W4.sub(total, W4.one()))

Uses (9)

Used by (1)