Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation | IEEE Conference Publication | IEEE Xplore