Los valores de un txt siempre son string??

[00siete]

Puedes forzar el cambio de tipo usando "casting":

Ejemplo:

Código:

<?php
  $miCadena = "123";
  $miNumero = (integer)$miCadena;
  $miCadena2 = "123.45";
  $miNumero2 = (float)$miCadena2;
?>