unmessify rational_intervals patch
unmessify rational_intervals patch

Ignore-this: 4a125b192a9964a508a1063845e9f160

darcs-hash:20140721123718-f399b-4e2d8cf890d22303637d3244db153bb213024604

robdockins/domains