Fast base extension using a redundant modulus in RNS | IEEE Journals & Magazine | IEEE Xplore