void tst_hwf() { bug_is_int(); bug_set_double(); bug_to_rational(); }
void tst_mpf() { enable_trace("mpf_mul_bug"); bug_set_int(); bug_set_double(); }