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...

Commencez par localiser les implémentations et les tests des fonctions PHP disk_free_space() et disk_total_space(), puis comparez la gestion de leurs valeurs de retour avec celle de filesize(). Confirmez le comportement attendu de type entier et mettez à jour la couverture afin que les deux opérations renvoient systématiquement des entiers sans compromettre les valeurs valides pour les disques de grande capacité.