RE: Is Pi irrational?