How Pi was nearly changed to 3.2