npgsql/Npgsql — pull request #343 by roji (2014-09-14 14:55:22+00:00)
Title: Removed extra_float_digits setting on startup

No longer set extra_float_digits upon connection, let the user manage this as they see fit.

Fixes #324

@franciscojunior (and anyone else), let me know if you're OK with this.