Hai ragione, ma il mio problema è che la differenza tra le due cifre deve essere fatta senza approssimazione alle cifre successive la seconda decimale..
Allora ho trovato questa soluzione che pare andare bene:
Codice PHP:
$tot_imp = number_format($tot_imp,2,'.','');
$tot_comp = number_format($tot_comp,2,'.','');
$inps = $tot_imp-$tot_comp;