infnan.3 not installed

[Jan Stary]

We have /usr/src/lib/libm/man/infnan.3
but infnan(3) doesn't seem to be installed
on any system I looked at. Is that intended?

        Jan