{"number1_frozen.options.integer": "default"}