Work in progress on NumericInterval