Number.Root
data T a
fromNumber
toNumber
toRootSet
commonDegree
mul
div
recip
cardinalPower
integerPower
rationalPower
root
sqrt