結果 : type casting in postgresql example