Salve a tutti,
Ricevo da un servizio esterno dei timestamp come questo:

1418563800000.0

se provo a convertirlo in una data con ad esempio

Codice PHP:
date('m/d/Y H:i', $timestamp); 
ottengo date strane nel 2030, e più, quando questi dovrebbero essere addirittura dei riferimenti a date passate...

Ho cercato su google ed ho capto (forse) che questo è un timestamp con i microsecondi, ma non riesco a capire come convertirlo in data in modo corretto.

Qualcuno sa come fare?