Commit e45f75fddbeee1f900bc3d2a84a8f5559890f0b7

Daniel Mendler 2019-04-13T08:46:57

deprecate DIGIT_BIT, use MP_DIGIT_BIT