<?php var_dump(filter_var(new GMP(1), FILTER_VALIDATE_INT, [ 'options' => ['default' => 9], ]));
You have javascript disabled. You will not be able to edit any code.