[HW4] Overflow 관련 범위 질문

[ksjae]

이름 Your Name

김승재

질문 Question

일부 Test Case에서 실패해서 보던 중 일부 경우에서 Overflow가 나는 현상을 발견했습니다. 과제 설명 중 일부 부분이 잘 이해가 가지 않아 질문드립니다.

p, q <= 2^32 로 정의되어 있는데, p*q=n이 OCaml의 int형 최대 범위인 2^62-1을 초과할 수 있나요? keygen의 정의(rsa.mil) 상 그럴 수 없어 보이긴 합니다.
혹시 n 말고도 int 최대 범위를 초과하는 입력이 존재하는지 확인 차 질문 드립니다.

번역본 Translated Version

Some test cases failed and I found out some cases cause overflow. I have a question:

Since p, q <= 2^32, can p*q=n go over 2^62-1 which is maximum of int in OCaml? it looks not due to the definition in keygen(rsa.mil), but I am trying to double-check whether there are inputs larger than 2^62-1.