User Activity

Posted on November 23, 2012 at 05:08Or, in general, how to printf() numbers with decimal point? Thanks #floating-point---just-say-no