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ę?

[Sh4dow]

nie wiem czy simplexml to przelknie ale moze. np:

[XML] pobierz, plaintext 
<?xml version="1.0" encoding="ISO-8859-2"?>
<jakis_root xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
      <ala>
            <ma>
                  <zwierze xsi:type="xsd:string">kota</zwierze>
                  <ilosc xsi:type="xsd:int">1</ilosc>
                  <kosztowal xsi:type="xsd:float">12.99</kosztowal>
                  <ladny xsi:type="xsd:boolean">1</ladny>
            </ma>
      </ala>
</jakis_root>
[XML] pobierz, plaintext 

tu sa dwie delkaracje namespace ktore pozwalaja na okreslanie typow zmiennych. Jak widac Name space jest brane ze specyfikacji XML Schema, ale dziala (IMG:http://forum.php.pl/style_emoticons/default/Rkingsmiley.png) Wyproboj moze to pomoze w innym przypadku pozostaje tylko rzutowanie zmiennej. (IMG:http://forum.php.pl/style_emoticons/default/guitar.gif)