Preparing numerics in lifted expansion.
Added numeric preconditions (greater-than less-than etc).