Generalize double

supercedes https://github.com/diagrams/diagrams-svg/pull/55