Nur ein anderer Ansatz:
SELECT col1 * 1.0 / col2 FROM tbl1
Die Multiplikation mit 1,0 verwandelt eine ganze Zahl in einen Float numeric(13,1) und funktioniert daher wie eine Typumwandlung, ist aber höchstwahrscheinlich langsamer als das.
Eine etwas kürzere Variante, vorgeschlagen von Aleksandr Fedorenko in einem Kommentar:
SELECT col1 * 1. / col2 FROM tbl1
Der Effekt wäre im Grunde der gleiche. Der einzige Unterschied besteht darin, dass das Multiplikationsergebnis in diesem Fall numeric(12,0) wäre.
Hauptvorteil:weniger wortreich als andere Ansätze.
