>>16727692
What makes radicals desirable? You can get exact computer arithmetic for a few more operations https://hackage.haskell.org/package/cyclotomic-1.1.2/docs/Data-Number-RealCyclotomic.html but I'm afraid it's still quite limited so it must be a theoretical interest?