Bug #878: different format of float values in 7.2.and 7.3

Denis N.Stepanov (D.N.Stepanov@inp.nsk.su) reports a bug with a severity of 2
The lower the number the more severe it is.

Short Description
different format of float values in 7.2.and 7.3

Long Description
There is a difference in return value of some floating point operations in PostgreSQL 7.2 and 7.3. The return value in
7.3contains padding to the right zeroes, while in 7.2 it does not. This is a compartibility problem in fact since our
applicationused to deal with exact float strings without any unnecessary padding zeroes. I use a usual
postgresql*-7.3.1-1PGDG.i386.rpmtaken from your site, if it makes sense. Please take a look into this. 

Sample Code
The following line:

SELECT 1875/1000.0

produces different results. In 7.2.3 it is:

      ?column?
---------------------
       1.875

while in 7.3.1 it is:

      ?column?
---------------------
 1.87500000000000000



No file was uploaded with this report