Rushabh Lathia <rushabh(dot)lathia(at)gmail(dot)com> writes:
> After debugging I noticed that "0/0" returning NaN on linux but it returns
> "-1.#JIND0000" on windows.
[ rolls eyes ]
> I added to check into pgstatindex() to avoid "0/0" situation and issue got
> fixed.
Hmm. I agree we need to avoid executing 0/0 here, but should we force
the result to 0, or to NaN?
regards, tom lane