Divide (2pi)/(pi-7)