<<< tex
1.

>>> native
[ ENumber "1" , ESymbol Ord "." ]