Interval arithmetic library