PHP入门问题

Question

 $a=9.45;

 $b=$a*100;

 echo '$b='.$b%100;

结果不是45吗？怎么是44  怎么跳过来! 求解