cantitruncated runcitruncated runcicantitruncated bit-compressed subrecursive bitwise rounded down runcicantellated runcic terminate