First time here? Check out the FAQ!
answered 2013-05-02 16:27:53 +0100
Hi,
You may use the time library of Python:
sage: from time import time sage: time() 1367522924.932015
More informations at http://docs.python.org/2/library/time.html.