"> 0" is not the same thing as "!= 0" :-/