A Practical Approach to Interval Refinement for math.h/cmath Functions