NUMBER_TYPE

open fun NUMBER_TYPE(): TerminalNode