Grazie per la risposta,
Purtroppo ne so molto poco di programmazione e sto andando a tentativi (maledizione ai vecchi che non hanno studiato da giovani)

$valore e' il risultato di un file_get_contents

In pratica ho una sonda di temperatura che mi scrive il valore in gradi centigradi dentro ad un file che viene aggiornato ogni x minuti

Io devo prendere quel valore numerico e inserirlo in un output json cosi' fatto :
{"temperatura":38.2}

quindi in una pagina php ho il codice :
<?php
{
$valore = file_get_contents('/home/test/temperatura');
header('Content-Type: application/json');
echo json_encode (array("temperatura" => $valore));
}
?>

Ma l'output e' appunto {"temperatura":"38.2"} quando il richiesto e' {"temperatura":38.2}

Qualche idea ?
Grazie