Ah, I just read the article. I didn't realise the conversion was between degrees and radians, I thought the conversion was between pi and tau, whence my comment about doubling. OK, degrees<---->radians is slightly more complicated than pi<---->tau.