convertire esponenziale in timestamp

[bmw]

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

[k.b]

Non mi sembra un numero valido per un timestamp, considerando che quello e'

1285071957180

mentre il timestamp attuale e'

1285147687

[bmw]

dopo un po di tentativi ho trovato un modo un po brutale per convertire.... ho fatto il cast in float, tolto le virgole e preso la sottostringa da 0 a 10.... precisa al secondo la data che mi ritorna....

se c'è un modo migliore benvenga :-)