Printing of floating point number with specified precision. #220