Bara ett annat tillvägagångssätt:
SELECT col1 * 1.0 / col2 FROM tbl1
Att multiplicera med 1,0 förvandlar ett heltal till ett float numeric(13,1) och fungerar därför som en typcast, men troligen är det långsammare än så.
En något kortare variant föreslagen av Aleksandr Fedorenko i en kommentar:
SELECT col1 * 1. / col2 FROM tbl1
Effekten skulle i princip vara densamma. Den enda skillnaden är att multiplikationsresultatet i detta fall skulle vara numeriskt(12,0).
Främsta fördelen:mindre ordrik än andra tillvägagångssätt.