explicitely cast INTEGER to CHAR - needed for PostgreSQL