Lines Matching refs:decode_double
988 decode_double (double x, int *ep, mpn_t *mp)1316 void *memory = decode_double (x, &e, &m);
