PHP使round函数返回一个int

Question

round（）函数返回一个浮点数，但是我想将这个返回的浮点数转换为int。最好的方法是什么？

这就是我想到的，但我不确定它是否是正确/最好的方式。任何人都可以帮我解决一些信息吗？

 $value = round(50000500 / 10000);

 return (int) $value;

非常感谢提前！