add Cantor expansion