The %d formatter coerces any floating point number such as 0.3123 to an integer.

The documentation should mention this.

The only way I could find to print the full number is to use %o .

It would be nice to have better printf style control e.g. %d3 to print 3 sig figures.