Implicit renewal theory in the arithmetic case