unix timestamp in python

I spent far too much time learning that:

gives me the nice numeric representation of the unix timestamp.