La conversion d'autres types en entier est indéfinie.
Actuellement, PHP convertit d'abord la valeur en
booléen.
Mais, ne vous fiez pas à ce comportement, car il
est susceptible de changer sans préavis!
Voir aussi :
@xref{ref.gmp,,Nombres de grande taille} et
Nombres à virgules flottantes.