I want to print a float number, i am using the package FLOAT_IO.

Is there a way to control the number of digits after the dot and before it?

printing floating-point ada
Edit
Report