Interval_Arithmetic_Word32