Перебрать массив строк в Bash?

Кажется, что единственный способ получить десятичную форму в симпатичной (для меня) форме требует какого-то смешного кода.

Единственное решение, которое я получил до сих пор:

CASE WHEN xy>0 and xy<1 then '0' || to_char(xy) else to_char(xy)

xy является decimial.

xy             query result
0.8            0.8  --not sth like .80
10             10  --not sth like 10.00

, пожалуйста, ответьте на этот вопрос, если для этого существует опция реального формата.