BoMing To #1 / 1

Finite Domain Problem
For a finite domain (over integers) constraint E > 0, where E is an arithmetic expression with only +, , *, domain variables and integers, is it correct to rewrite it as E  1 >= 0 ? It seems to work because E will be always an integer, but I am not sure. Would someone be kind enough to point out any errors ? 
Department of Computer Science, The Chinese University of Hong Kong Shatin, New Territories, Hong Kong
