[PATCH 2/3] use a new INTEGER option