parsing Integer

Stream: mathlib4

[Jakob von Raumer]

Is there a better way to parse integers from a new syntax categories into Integer than to reuse the num syntax and using "-" num for the negation and then elaborating the whole thing manually?

[Mario Carneiro]

not really