This is essentially Montgomery reduction, widely used in cryptographic implementations.

http://en.wikipedia.org/wiki/Montgomery_reduction