added optimized inc_integer