<<< tex
1.3 \times .2

>>> native
[ ENumber "1.3" , ESymbol Bin "\215" , ENumber ".2" ]