Graaaazie per l'aiuto!!!
Quindi hai compresso tutto il codice precedente in
$originale = 12345.678;
$convertito = str_pad((int_val($originale * 10), 9, "0", STR_PAD_LEFT);
per generare il mio numero senza separatori migliaia e senza decimali??
e poi basta fare un /10 per tornare alla versione originale
corretto?
Grazie