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