如何更改号码类型？

Question

请帮助更改类型编号double - ＆gt; 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]))