Commit 0db64fc83c2f1133f61c43e57c8990badcf43ba0

nijtmans 2019-07-03T14:45:14

Rename bn_get_magxx -> bn_get_mag_uxx. Documentation updated too