圆周率是谁发明的？他求出了精确到小数点后七位有效数字的圆周率，请说出这个数。