Various modifications, especially to the Interval constructor

To do with ordering the conversions to BigFloat.