A library for interval arithmetic in Eiffel