Bounding box.
Merge branch 'generalize-double' of https://github.com/cchalmers/diagrams-lib into generalize-double