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