size_t mpff_out_str(FILE *STREAM, int BASE, mpff_t x)
Output x on stdio stream STREAM, in GP format. This function is currently only for debugging purpose. Return the number of bytes written, or if an error occurred, return 0.
Bill Allombert
2003-07-01