Re: [jhc] Integer for JHC