The option must be an IntOpt, not a BoolOpt