s/double/extra/ perhaps ... some are more than doubled, after all.