mpi-to-double patch

* mpi/mpi.c (mp_to_double): New function.

* mpi/mpi.h (mp_to_double): Declared.

1 files changed, 5 insertions, 0 deletions

diff --git a/mpi/mpi.h b/mpi/mpi.h
index ba255419..c6136c15 100644
--- a/mpi/mpi.h
+++ b/mpi/mpi.h
@@ -187,6 +187,11 @@ mp_err mp_invmod(mp_int *a, mp_int *m, mp_int *c);
 #endif /* end MP_NUMTH */
 
 /*------------------------------------------------------------------------*/
+/* Conversions                                                            */
+
+mp_err mp_to_double(mp_int *mp, double *d);
+
+/*------------------------------------------------------------------------*/
 /* Input and output                                                       */
 
 #if MP_IOFUNC