Calculate π in PostgreSQL

(1) Perform the followings. (2) I got the following outputs.