Transformer du texte en chiffres en PHP

Bonjour,


j'ai juste un petit problème.

Je suis en train de créer mon site, et il y a un endroit où les visiteurs mettent un nombre, et le site leur dit automatiquement si le nombre est un nombre entier ou pas. Mais le problème est que le site dit toujours que le nombre n'est pas entier, vu que c'est du texte.

Je cherche donc une solution pour convertir ce texte en nombres.

J'espère que vous m'aiderez, je vous remercie d'avance

Cordialement,

Guillaume