type T is delta <> digits <>;
