messy updates to rational_intervals.v
messy updates to rational_intervals.v

Ignore-this: 858dac9c55426167c6f397a71ef3fda5

darcs-hash:20140721015810-f399b-f1d8a4d8f38275e918ae83ebce5c034b123514f4

robdockins/domains