Number.Positional.Check
data T
compress
carry
prependDigit
lift0
lift1
lift2
commonBasis
fromBaseInteger
fromBaseRational
defltBaseRoot
defltBaseExp
defltBase
defltShow