CodeIgniter form set_radio bug?

[eluser]dignick[/eluser]
Another way to prevent this issue is to cast the passed $value parameter as a string when passing it. Shouldn't this be dealt with in CodeIgniter though?