<<< native [ ENumber "123" ] >>> tex 123