mirror of
https://github.com/postgres/postgres.git
synced 2025-09-09 13:09:39 +03:00
use that value when the backend is new enough to allow it. This responds to bug report from Keh-Cheng Chu pointing out that although 2 extra digits should be sufficient to dump and restore float8 exactly, it is possible to need 3 extra digits for float4 values.