Save geojson value

Question

How is it that by making one geojson I could record numbers instead of string.

Example:

$geojson = array(
    'type'      => 'FeatureCollection',
    'features'  => array()
);

while( ($registo = mysqli_fetch_assoc($resultado)) !=null)
{
    $feature = array(
        'type' => 'Feature', 
        'geometry' => array(
            'type' => 'Point',
            'coordinates' => array($registo['x'], $registo['y'])
        ),
        'properties' => array(
            'id_publicidade' => $registo['id_publicidade'],
            'id_utilizador' => $registo['id_utilizador'],
            'nome' => $registo['nome'],
            'categoria' => $registo['categoria'],
        )
    );
array_push($geojson['features'], $feature);
};
echo json_encode($geojson);

My question is in the: 'coordinates' => array($registo['x'], $registo['y'])

By doing the echo of json the result is:
"coordinates":["-8.847618468261716","41.693271914384525"]

I want the quotation marks not to be read, I want the json to be without the spas, because by continuing my code the spas somehow manage to interfere with the coordinates.

Answer 1

You can use the floatval() that converts a string in value with fractional part:

'coordinates' => array(floatval($registo['x']), floatval($registo['y']))
                          ^                        ^