Ciao a tutti, spero che qualcuno mi possa aiutare con questa conversione:

- ricevo questo formato per un timestamp: 1.28507195718E+12
- vorrei ottenere il timestamp per stampare la data usando date()

grazie