float-weirdness.c: remove redundancy, add comparisons between two infinities, two nans