PHP bug ?

Submitted by Derick Ng on 23 March 2011 - 3:23am
<?php
$price = 125.99;
$dec = ($price - intval($price)) * 100;
$dec = (int) $dec;
echo $dec; // WTF?!