SET extra_float_digits = 3

Question

I'm using PostgreSQL 9.2 with my web application that has three servlets with three selects.

I turn on the log.

When I send my first query: select * from "Nomi" limit 4

before it the log shows me this other line:

execute <unnamed>: SET extra_float_digits = 3

What is this command?