rival (racket): Interval analysis for real computation
Keywords: analysis|floating-point|numerical