Revert "Revert "infnan: more tests.""

This reverts commit af9a438112f49d9f3c6920ffd2c7dc4dd0a24d8d (q.v.)
as planned.