Eso es porque la marca de tiempo se genera internamente con valores en fracciones de segundo (es decir, 1.235 segundos por ejemplo), tan preciso como el sistema lo proporcione.
En python la llamada a time.time() devuelve siempre un flotante, no un entero.
Si solamente necesitas los segundos, puedes convertir ese valor a entero con int()
http://docs.python.org/library/time.html#time.time
Saludos.