[Bash] Zamiana liczby 0123 na 0.123

Witam

Szukam pomocy jak w prosty sposób wykonać zamianę liczby 0123 na 0.123

Mam plik a w tym pliku liczbę 0123 jak zamieniam to

echo "scale=3; 0123/1000" | bc

to dostaję wynik .123

Proszę o pomoc bo wszystko już wyczerpałem.

No takie jakieś cuda działają:

echo "scale=3; 0123/1000" | bc | awk '{printf "%.3f", $0}'