Apenas outra abordagem:
SELECT col1 * 1.0 / col2 FROM tbl1
Multiplicar por 1,0 transforma um inteiro em um
Uma variação um pouco mais curta sugerida por Aleksandr Fedorenko em um comentário:
SELECT col1 * 1. / col2 FROM tbl1
O efeito seria basicamente o mesmo. A única diferença é que o resultado da multiplicação neste caso seria numérico(12,0).
Vantagem principal:menos prolixo do que outras abordagens.
