Vladimir Nicolici <vladnc@gmail.com> writes:
> Any plans to fix this annoyance?
Not particularly. Making round() work with floats seems questionable,
since the result frequently couldn't be represented exactly, making the
whole exercise a bit pointless. Why don't you cast the float to numeric?
regards, tom lane