結果 : cast to integer in sql