PHP, отлитый от integer, возвращает неверное значение

Взгляните на этого моего друга и скажите мне, что я не сумасшедший …

echo (int) (9.45 * 100); // gives 944 echo (int) 945; // gives 945 

Я не понимаю, почему первая инструкция вернет 944! ???? Это известная проблема с php? помощь ценится, как всегда!