Re: [PATCH 2/3] use a new INTEGER option