dpsanders/ValidatedNumerics.jl — pull request #1 by dpsanders (2014-09-19 05:13:31+00:00)
Title: Various modifications, especially to the Interval constructor

To do with ordering the conversions to BigFloat.