- var_dump: documentation ( source)
<?php
$original = (double) 4189.94;
$int = (int) ($original * 100); //should be 418,994 ??
var_dump($int);
$double = (double) $int / 100; // should be 4189.94 again ??
var_dump($double);
var_dump($double == $original);