Small nitpicks: > But floating point numbers are always greater than LNS numbers Unless I'm missing something, they are never smaller, but they can be equal (

Small nitpicks: > But floating point numbers are always greater than LNS numbers Unless I'm missing something, they are never smaller, but they can be equal (at powers of two). > E.g. x1/2x^{1/2}x1/2, x−8x^{-8}x−8, x2x^2x2, though you probably wouldn't use it for positive exponents since you can just use multiplication to get an exact answer. 1/2 is positive. As is 1/3.