PHP中，(int)9/2的结果是（  ）。