use integers explicitly