enforcing resolution being int