Strategy for forward error computation
Create a new theory for unbounded floats, which are float numbers with no upper bound on the exponent. Add a goal oriented strategy to automatically compute forward error for float terms if possible.
Create a new theory for unbounded floats, which are float numbers with no upper bound on the exponent. Add a goal oriented strategy to automatically compute forward error for float terms if possible.