Update

[GatorV]

Si es float puedes usar el operador mismo:

Código PHP:

$credit = (float) $_GET['credit'];
$price = (int) $_GET['price'];
 
var_dump($credit + $price);