Still no idea, but the string that gets passed to `cast_value` is `'[1,11)'`. Similarly, this first range's `int8_range` translates to `'[10,101)'` being passed to cast_value.