PHP Floating Point weirdness

gistfile1.aw

<?php

$a = 35.55;

echo $a.PHP_EOL;

$b = 100;

echo $a * $b.PHP_EOL;

$c = $a * $b;

echo $c.PHP_EOL;

var_dump($c);

echo gettype($c).PHP_EOL;
echo (int)$c.PHP_EOL;

echo (int)ceil($c).PHP_EOL;

echo (int)round($c).PHP_EOL;


printf('%.20f', $c);

// See https://bugs.php.net/bug.php?id=47208