Cast int to float PHP

> Cast int to double
> Convert int to double

Description
Cast integer to float


$val = (float)10;
$val = (double)10; // Same as (float)
$val = (real)10;   // Same as (float)

API   Type casting   
SEE ALSO