Question: please help change the type number double -> int. ie I need to drop the fractional part, but do not use split ()

```
import time

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

```

Answer: 
Convert to float, then convert to int.

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

```
Partition number string by dot character:

```
import time

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

```