Add ideal algorithm.

For all numeric 'ideal' (including bare-value) constraints