This does nothing it sets casts $fid as an int but that is just replaced by the next item in the array. (My interpretation is that this is redundant)

@JN-Jones is this what you would suggest?
```php
function cast_int($int)
{
	return (int)$int;
}
$fids = array_map('cast_int', $fids);
```