More uses of interval, change in iter_million, an extra lemma
More uses of interval, change in iter_million, an extra lemma

- the change in iter_million makes this statement weaker, not
sure this is good.

- the extra theorem uses interval and the agm formula to compute 10
decimals of PI.

ybertot/pi-agm