Mengapa menggunakan INT untuk memilih indeks Varchar yang berisi angka jauh lebih lambat daripada menggunakan Strings?

Sebagaimana dinyatakan dalam manual :

Jika perlu, Anda selalu dapat CAST integer Anda ke string untuk memanfaatkan indeks:

SELECT * FROM example WHERE stuff = CAST(200 AS CHAR);