Commit ffdd008dda7e805db021c92478a61d4b5421372c

Francois Perrad 2019-05-07T21:30:27

use MP_DIGIT_MAX instead of MP_MASK