Support integer domains of the form [0,n], n nonnegative; fixes #8