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