RISC-V: bge[u] should get higher priority than ble[u].