Po prostu inne podejście:
SELECT col1 * 1.0 / col2 FROM tbl1
Mnożenie przez 1,0 zamienia liczbę całkowitą w zmienną zmiennoprzecinkową numeric(13,1), a więc działa jak typecast, ale najprawdopodobniej jest wolniejszy.
Nieco krótsza odmiana sugerowana przez Aleksandra Fedorenko w komentarzu:
SELECT col1 * 1. / col2 FROM tbl1
Efekt byłby w zasadzie taki sam. Jedyna różnica polega na tym, że wynik mnożenia w tym przypadku byłby numeryczny(12,0).
Główna zaleta:mniej rozwlekły niż inne podejścia.