Check that numerical instances are correct for intervals over Down Double

[Bodigrim]

For Data.Ord.Down Double an arithmetic infinity does not match an ordinal one, which might lead to problems with instance Num (Interval (Down a)) and such.