Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> Is it intentional that effective_cache_size is a real (as opposed to
> integer)?
Yes --- the planner generally does all that stuff in float arithmetic to
avoid worrying about overflow.
regards, tom lane