Online PHP editor | refs for J52dm

@ 2013-11-26T17:02:14Z

<?php

$original = 4189.94;

$int = (int) $original * 100;
$float = $original * 100;
var_dump($int); //should be 418,994 ??
var_dump($float); //should be 418,994 ??

$double = $int / 100; // should be 4189.94 again ??

var_dump($double === $original);