floating point printf:add %f%F into printf