Understanding pi123