void mpfi_mid_interval (mpfi_t ret, mpfi_t x);
int mpfi_subdivision (int num, mpfi_t *ret, mpfi_t x);