我需要通过 353.2307401 除以 13.333333 得到 int 商。为此,我在 php 中使用了 intdiv 函数。我使用下面的代码:
echo intdiv(353.230740,13.333333333333);
我得到的不是 26,而是 27。我不知道为什么会发生这种情况。请帮忙。预先感谢。
正如 KIKO 软件所说,intdiv() 函数适用于整数,它不能给我预期的结果,所以我使用了以下代码行解决了我的问题。
echo floor(353.230740,13.333333333333);
谢谢。