Russell Smith <russell@pws.com.au> writes:
> Either way 8.0.1 round differently;
The rounding is the same. The difference from 7.2 is that the unadorned
literal "42.5" is now considered to be numeric whereas 7.2 treated it as
float8. This changed quite some time ago (in 7.3 it looks like).
regards, tom lane