convert int to decimal php code example

Example: string to decimal php

$num = (double) "10.12";