{u : Lean.Level} →
  {α : Q(Type u)} →
    {x : Q(«$α»)} →
      (inst : autoParam Q(DivisionSemiring «$α») Mathlib.Meta.NormNum.Result.isNNRat'._auto_1) →
        ℚ → (n d : Q(ℕ)) → Q(Mathlib.Meta.NormNum.IsNNRat «$x» «$n» «$d») → Mathlib.Meta.NormNum.Result x