int 型にキャストすると切捨てで string 型にキャストすると四捨五入
という違いでは？

echo (int)(10.29 * 10000);
echo (string)(10.29 * 10000);

型を指定しない場合は string 型に自動変換だったと思う。