Are you sure you want to delete the file BigInteger.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Exception | --- | 0755 | |
| Internal | --- | 0755 | |
| BigDecimal.php | 22370 bytes | 0644 | |
| BigInteger.php | 32861 bytes | 0644 | |
| BigNumber.php | 16014 bytes | 0644 | |
| BigRational.php | 11943 bytes | 0644 | |
| RoundingMode.php | 3577 bytes | 0644 |