Interval_Arithmetic_Word32.Finite_String