use pgresultOfInt64 instead of toPGResult