Interval arithmetic in Python
