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