Okay, my bad, I can't read. We are in violent agreement.
Obligitory strategy comment for micro-managers:
Hitting the whip button at half-full minus one is a bit later than optimal.
On marathon, suppose your food basket has 84 food (that's size 4). You want to whip down to size 2, at which the food basket is 72. Suppose you can get a 5 food surplus at size 2. The ideal time to hit the whip button is at 31 (less than half of 84). You will have 36 when the granary completes. 36 is half of 72. Now if you are a real, real micro-manager, you may go a bit further and note that it's better to have one more food when you whip. Even though this will result in one food "wasted" and not applied to the next population growth, it will allow the city to grow a turn sooner. Whip at 32 food, have 37 when the granary is build, and grow 7 turns later. High-speed micro-managers hate to see the food basket of a fast-growing city exactly one food short of growth.