Are you sure you want to delete the file BigInt.pm?
| Name | Size | Permission | Action |
|---|---|---|---|
| BigFloat | --- | 0755 | |
| BigInt | --- | 0755 | |
| BigFloat.pm | 133802 bytes | 0644 | |
| BigInt.pm | 158511 bytes | 0644 | |
| BigRat.pm | 52767 bytes | 0644 | |
| Complex.pm | 49439 bytes | 0644 | |
| Trig.pm | 21374 bytes | 0644 |