How would I use Supposition.jl on computer arithmetic corner cases?

Relevant discussion in History of `isapprox` in languages - #26 by Richard_Fateman and following.

2 Likes