Module reduction 

Functions

montgomery_reduction

Algorithm 14.32 in Handbook of Applied Cryptography https://cacr.uwaterloo.ca/hac/about/chap14.pdf

muladdcarry 🔒

Returns (hi, lo) such that hi * R + lo = x * y + z + w.