Bool →
  Bool →
    ({u : Lean.Level} → {α : Q(Type u)} → (e : Q(«$α»)) → Lean.MetaM (Mathlib.Meta.NormNum.Result e)) →
      autoParam Lean.Name Mathlib.Meta.NormNum.NormNumExt.name._autoParam → Mathlib.Meta.NormNum.NormNumExt