如何更改号码类型？

Question

请帮助更改类型编号double - > int.即我需要删除小数部分,但不要使用split()

import time

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

Answer 1

转换为float,然后转换为int.

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