<<< native [ ENumber "1" , ESymbol Ord "." ] >>> mml $$1.$$