Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
You are right; let's leave it as `@float`