p3: we're only doing int division anyway