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