이거 오버플로우 왜 발생안하냐?

[부레옥잠(183.99)]

#include <stdio.h>
#include <float.h>

int main(void)
{
    if (DBL_MAX+1.0==DBL_MAX)
        printf("같다!\n");
     return 0;
}

컴파일도 잘 되고 실행해보면 같다라고 출력되거든?

그런데 DBL_MAX에다가 1.0을 더하면 오버플로우 아니냐?

오버플로우면 INF로 처리한다고 책에서 봣는데..

어쨰서 DBL_MAX+1.0은 INF가 아니고 DBL_MAX 인거야?