1 modmult, decoupled compare and add