Montgomery Reduction
integer to reduce, of size exactly 2*(p_size+1). Output is in the first p_size+1 words, higher words are set to zero.
modulus
size of p
Montgomery value
workspace array of at least 2*(p_size+1) words
See Implementation
Montgomery Reduction