http://gmplib.org/manual/Assigning-Floats.html