Grp.toString shows now order of the group if known.