python如何得到13位时间戳？

python用time.time()得到的不是13位的时间戳，要怎么才能得到13位的？

python获取当前时间的unix时间戳

Unix timestamp：是从1970年1月1日（UTC/GMT的午夜）开始所经过的秒数，不考虑闰秒.

import datetime

import time

time.mktime(datetime.datetime.now().timetuple())

输出
1361111788.0

import timeprint int(time.time());#获取当前时间戳，但不是13位时间戳