Add benchmarks for casting