Commit 2ab527b7e068df4b0e6a82b674c6fcf8d24935fd

Daniel Mendler 2018-09-10T18:51:26

add mp_get_double, mp_set_double