Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables