Eliminate conditional final subtraction in Montgomery multiplication