let get_rounding_mode () = if Value_parameters.AllRoundingModes.get () then Ival.Float_abstract.Any else Ival.Float_abstract.Nearest_Even