Added clp for reals. still needs mul, div, neq.