Does the number Pi actually exist?