size_t mpffn_out_str(FILE *STREAM, int base, mp_srcptr x, const mpffn_field *ff)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.