[#5] Removes the last uses of the Printf module in print_* functions.

This incidentally improves the display of floating numbers, and makes the
print_* functions more homogenous.