Return INT value for some disk_* operations

Description

Currently (and for who knows how many years), a number of functions responsible for working with the file system return float values ​​instead of integers.

Does this seem confusing? A fractional number of bytes? How so?

One might assume that in the days of the 32-bit PHP, the integer type wasn't large enough to accommodate the possible disk sizes of the time, but in 2026, this seems absurd. Not to mention that comparing floating-point numbers is an ambiguous operation.

Functions that return float values ​​instead of integers are:

• https://www.php.net/manual/en/function.disk-free-space.php
• https://www.php.net/manual/en/function.disk-total-space.php

P.S.

The behavior looks especially strange considering that the function filesize returns an integer value...

首先定位 PHP 函数 disk_free_space() 和 disk_total_space() 的实现与测试，然后将它们的返回值处理方式与 filesize() 进行比较。确认预期的整数行为，并更新覆盖范围，使这两个操作都一致地返回整数，同时不破坏大容量磁盘的有效值。