format a string `num` using string formatting,"""""""{0:.3g}"""""".format(num)"