AWK problema con operazioni matematiche

[diesel_79]

Ciao a tutti
Avrei un problemino con awk....
In pratica quando faccio delle operazioni, tipo moltiplicazioni o addizioni del tipo:

echo "10 5" | awk '[print $1, $2*0.01]' > pippo

(andrebbe la parentesi graffa....ma nn riesco a farla )

cioè quando vi sono numerici decimali, in uscita il risultato esce con la "virgola" (del tipo 0,05) o non col "punto" (0.05) come dovrebbe fare.
Ciò mi rende impossibile l'uso di tali files in uscita con altri programmi che vorrebbero il punto per le cifre decimali.
Non so se "awk" debba in qualche modo essere settato.....AIUTO!
La mia distribuzione di Linux è Fedora Core 3.

[ilsensine]

Doppio, chiudo.

Lascio aperto il thread in linux, in quanto credo abbia a che fare con le variabili di ambiente LC_* e non con awk in se.