We need a benchmark for REE casting which is added in #8589. This will be useful for trying to improve performance, which is tracked in #8707.
