Grazie!

Avevo già risolto, il mio problema era legato al fatto che l'input prevedeva anche il punto come separatore delle migliaia... adesso, avendo un valore $prezzo=1.234,56, prima effettuo un str_ireplace per eliminare il punto:

$prezzo= str_ireplace( "." , "",$prezzo);

e poi un altro per sostituire la virgola col punto:

$prezzo= str_ireplace("," , ".", $prezzo);

ed ottengo così $prezzo==1234.56

Ancora grazie, comunque

Anche la prima sintassi da te postata è corretta, quindi il problema non era quello.
Prego.