Non ti è sufficiente forzare il casting o ricorrere al settype del valore che estrai dal file di testo?
Tipo:

$valoreEstrattoDaConvertire = settype($valoreEstratto, integer o float che sia);

oppure:

$valoreEstrattoDaConvertire = int($valoreEstratto);