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() と比較します。期待される整数の動作を確認し、両方の操作が一貫して整数を返すようにカバレッジを更新するとともに、大容量ディスクの有効な値を壊さないようにします。