Просто умножьте одно из чисел на 1.0:
1.0
SELECT something*1.0/total FROM somewhere
Это даст вам деление с плавающей запятой вместо целочисленного деления.