結果 : cast string as integer postgresql