Don't warn about floating point loop counters for now.