Supported Versions: PHP 4, PHP 5, PHP 7, PHP 8
Get the integer value of a variable
<?php intval(mixed $value, int $base = 10): int
<?php     preg_match('/^\033\[(\d+);(\d+)R$/', $buf, $matches);



    return [

        intval($matches[2]),

        intval($matches[1]),

    ];

}
<?php     return [

        intval($matches[2]),

        intval($matches[1]),

    ];

}