In such cases, you get a ubound that contains the exact value. When the inputs are exact, the result is exact too. Here is a sample implementation in Julia: h

In such cases, you get a ubound that contains the exact value. When the inputs are exact, the result is exact too. Here is a sample implementation in Julia: https://github.com/JuliaComputing/Unums.jl https://github.com/JuliaComputing/Unums.jl