how to turn decimals into whole numbers php code example

$num = (double) "10.12";