PI

Source

(def PI (math PI))