1. I don't think the buildfarm is sufficient evidence to conclude that isinf.c is required nowhere. It was in use as late as 2004, judging by the git history, and I don't know of good reason to assume we do not need it now.
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных