<<< native [ ENumber "5" ] >>> mml $$5$$