static int idiv_floor(int a, int b) {
  ret a/b;
}

static int idiv_floor(double a, double b) {
  ret ifloor(a/b);
}