печатать числа с плавающей запятой в ada

Я хочу напечатать число с плавающей запятой, я использую пакет FLOAT_IO .

Есть ли способ контролировать количество цифр после точки и перед ней?