Interval arithmetic API for ANSI C