IEEE_Floating_Point.IEEE_Properties