unary numbers in tm computations