結果 : cast integer to decimal sql