Are you sure you want to delete the file BigFloat.pm?
| Name | Size | Permission | Action |
|---|---|---|---|
| BigFloat | --- | 0755 | |
| BigInt | --- | 0755 | |
| BigFloat.pm | 185010 bytes | 0644 | |
| BigInt.pm | 213537 bytes | 0644 | |
| BigRat.pm | 79510 bytes | 0644 | |
| Complex.pm | 50065 bytes | 0644 | |
| Trig.pm | 21544 bytes | 0644 |