; @(#)national.s 1.1 (ucb.elefunt) %G%
; add_ulp(x) ... return x+ulp
; sub_ulp(x) ... return x-ulp
; swapENI(i) ... swap inexact enable bit with i
; swapINX(i) ... swap inexact flag bit with i
; swapRM(i) ... swap rounding mode with i
; add one ulp to a floating point number
; subtract one ulp from a floating point number
; swap the inexact enable bit