une division par 1 doit suffir :

echo 1.234000/1 t'affichera 1.234

a ++