Sean Ross wrote: > a = bq + r and 0<=r<b [1] But 0 <= r < b is a contradiction when b < 0. -- Rainer Deyke - rainerd at eldwood.com - http://eldwood.com