Solo un altro approccio:
SELECT col1 * 1.0 / col2 FROM tbl1
Moltiplicando per 1.0 si trasforma un intero in un float numeric(13,1) e quindi funziona come un typecast, ma molto probabilmente è più lento di così.
Una variazione leggermente più breve suggerita da Aleksandr Fedorenko in un commento:
SELECT col1 * 1. / col2 FROM tbl1
L'effetto sarebbe sostanzialmente lo stesso. L'unica differenza è che il risultato della moltiplicazione in questo caso sarebbe numerico(12,0).
Vantaggio principale:meno prolisso rispetto ad altri approcci.