feat(data/buffer/parser/basic): nat_eq_done (#6340)
feat(data/buffer/parser/basic): nat_eq_done (#6340)

The `nat` parser gives the maximal possible numeral.





leanprover-community/mathlib,leanprover-community/mathlib