Cantor normal form