Bare en anden tilgang:
SELECT col1 * 1.0 / col2 FROM tbl1
Multiplikation med 1,0 forvandler et heltal til en float numeric(13,1) og fungerer derfor som en typecast, men det er sandsynligvis langsommere end det.
En lidt kortere variant foreslået af Aleksandr Fedorenko i en kommentar:
SELECT col1 * 1. / col2 FROM tbl1
Effekten ville stort set være den samme. Den eneste forskel er, at multiplikationsresultatet i dette tilfælde ville være numerisk(12,0).
Hovedfordel:mindre ordrig end andre tilgange.