Python specify file creation time by milliseconds
<p>After some research I couldn't find any solution to this so here it goes:</p>

<p>Python's command:</p>

<p><code>time.ctime(os.path.getctime('/path'))</code></p>

<p>displays output as (e.g):</p>

<p><code>Fri Dec  2 16:06:05 2016</code>.</p>

<p>How can I make it display not only hours/minutes/seconds but also milliseconds? </p>