This paper describes a new non relational semantic analysis of program integer variables. Interval congruence analysis is designed using Cousot's abstract interpretation framework, its model generalizes integer intervals and integer cosets by the definition of coset congruences. The use of a widening operator defined on rational approximations of the integer model ensures fast convergences of the iteration process whereas the diversity of patterns of the modeled integer sets increases the accuracy of the analysis.