숫자 유형을 변경하는 방법은 무엇입니까?

Question

double -> int 형식 번호를 변경하십시오. 즉, 소수 부분을 삭제해야하지만 split()은 사용하지 마십시오.

import time 

date = time.ctime(int('1223.435'.split('.')[0])) 

Answer 1

float로 변환 한 다음 int로 변환합니다. 점 문자로

>>> int(float('1223.435')) 
1223 

Answer 2

파티션 번호 문자열 :

import time 

date = time.ctime(int('1223.435'.partition('.')[0]))