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