#8758 + (36) 
<tom_> do you agree that PI > 3
<buz-> no