This changes the behavior of the conditional expression (in two different ways, unless I am mistaken: because the check is now done per component and because negative zero is considered false). So it would be good to have a test that shows that the change is correct. As usual, the test should be introduced with `todo` first, then fixed in a later commit.
This will need SM1 case fixed first, to avoid the need of running tests on SM4+ only.