Assert that only float Cmps have unordered Projs.