SimpleXML, liczby z XML nie są typu integer Opcje

[Riklaunim]

Obraz problemu:

[PHP] pobierz, plaintext 
<?php
$art = simplexml_load_string('<xml><foo>1</foo></xml>');
echo 'FOO: '.$art->foo.'<BR><BR>';
 
IF($art->foo === 1)
	{
	echo 'FOO to integer<BR>'; // to się nie wyświetli (IMG:http://forum.php.pl/style_emoticons/default/tongue.gif) 
	}
IF($art->foo == 1)
	{
	echo 'FOO ma artość 1 ale niekoniecznie jest to int<BR><BR>';
	}
 
$a = 1;
IF($a === 1)
	{
	echo '$a to integer<BR>';
	}
?>
[PHP] pobierz, plaintext 

Z XMLa pobieram liczby potrzebne dalej tyle że musi to być liczba - int bo inaczej skrypt zgłupieje. Jak wymusić typ int na zmiennej zawierającej pobraną liczbę?