関連ワード:  cast integer in postgresql    cast number in postgresql    cast int in postgres    cast as int in postgresql    cast text to integer in postgresql    cast integer to string in postgresql    cast character to integer in postgresql    convert to integer in postgresql    cast varchar to int in postgresql    cast string to int in postgresql