This directory contains functions for GMP's floating-point function layer.

In this version of GMP, floating-point numbers are represented like in the
figure below.  (Please note that the format might change between every
version, and that depending on the internal format in any way is a bad idea.)

   most				least
significant		     significant
   limb				limb

				 _mp_d
				  /
				 /
				\/
	<-- _mp_exp -->
	 ____ ____ ____ ____ ____
	|____|____|____|____|____|
		       . <------------- radix point

	<------- _mp_size ------->


The most significant limb will be non-zero.  The _mp_exp field is the distance
in number of limbs from the radix point to the most significant limb; it will
be positive iff the absolute value of the number is >= 1.  The _mp_size
field's sign reflects the sign of the number.  Its absolute value is the count
of limbs in the number.