Symbol: reduce_montgomery