Iterable cyclic groups, getMaxOrder, hasKnownOrder