Originariamente inviato da filippo.toso
Lo moltiplichi per 10000?
se invece non conosci il numero dei decimali puoi anche usare uno str_replace

Codice PHP:
$num=str_replace('.','',1.34567);