no ranges:    int32_t v0 = floordiv_i32(p0, p1);
with ranges:  int32_t v0 = p0 / p1;
for x >= 0 and y > 0, truncating and floor division agree, and y is never 0 or -1.
