Re: [jhc] bug with Integer?