(defconstant PI 3.14.1592)