How can I find the source code of `printf` in c about printing floating number?

I want to know how printf to print floating variables.

but I look up the source code of printf here.

But I did not find any code about printing floating variables.