Chỉ là một cách tiếp cận khác:
SELECT col1 * 1.0 / col2 FROM tbl1
Nhân với 1,0 biến một số nguyên thành một float số (13,1) và do đó hoạt động giống như một typecast, nhưng hầu hết có lẽ nó chậm hơn thế.
Một biến thể ngắn hơn một chút do Aleksandr Fedorenko đề xuất trong một bình luận:
SELECT col1 * 1. / col2 FROM tbl1
Hiệu quả về cơ bản sẽ giống nhau. Sự khác biệt duy nhất là kết quả phép nhân trong trường hợp này sẽ là số (12,0).
Ưu điểm chính:ít dài dòng hơn các cách tiếp cận khác.