Are you sure you want to delete the file BigNumber.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Exception | --- | 0755 | |
| Internal | --- | 0755 | |
| BigDecimal.php | 21458 bytes | 0644 | |
| BigInteger.php | 32771 bytes | 0644 | |
| BigNumber.php | 15778 bytes | 0644 | |
| BigRational.php | 11896 bytes | 0644 | |
| RoundingMode.php | 3602 bytes | 0644 |