FloatingPointOperations

flopak.spad line 1 [edit on github]

undocumented

minus : (Record(mantissa : Integer, exponent : Integer), Record(mantissa : Integer, exponent : Integer)) -> Record(mantissa : Integer, exponent : Integer)

minus(x, y) computes x - y with no rounding.

plus : (Record(mantissa : Integer, exponent : Integer), Record(mantissa : Integer, exponent : Integer)) -> Record(mantissa : Integer, exponent : Integer)

plus(x, y) computes x + y with no rounding.

times : (Record(mantissa : Integer, exponent : Integer), Record(mantissa : Integer, exponent : Integer)) -> Record(mantissa : Integer, exponent : Integer)

times(x, y, b) computes x*y with no rounding.