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