Are you sure you want to delete the file BigNumber.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Exception | --- | 0755 | |
| Internal | --- | 0755 | |
| BigDecimal.php | 22723 bytes | 0644 | |
| BigInteger.php | 34589 bytes | 0644 | |
| BigNumber.php | 15005 bytes | 0644 | |
| BigRational.php | 12539 bytes | 0644 | |
| RoundingMode.php | 3859 bytes | 0644 |