Avoid rounding errors comparing envelopes
Merge pull request #1948 from tomhughes/python

Avoid rounding errors comparing envelopes