Commit fb884223e32b4035f2bd431db970e23f36a06649

Steffen Jaeckel 2018-11-26T12:26:15

Merge pull request #123 from minad/additional-operations add mp_get_double, mp_set_double