Implement a constant-time "if" (for u32 on x86_64)