explicitly cast integers to silence warnings