integer correction