# OK: invalid numeric CLI options are rejected
