I'm voting numerical because of the word doubled. Doubled has a very specific numerical meaning, but you really can't objective double something's semantic value - there's just no scale. If the word doubled were replaced with increased, I think I would have voted the other way.