external set_maximum_error : t -> float -> unit =
      "simplifier_set_maximum_error"