NAME	SIZE	PERMISSION	MODIFY
BigFloat	--	drwxr-xr-x	Select Delete Chmod Rename
BigInt	--	drwxr-xr-x	Select Delete Chmod Rename
BigRat	--	drwxr-xr-x	Select Delete Chmod Rename
BigFloat.pm	216.763 KB	-rw-r--r--	Select Delete Chmod Rename Edit
BigInt.pm	264.124 KB	-rw-r--r--	Select Delete Chmod Rename Edit
BigRat.pm	88.018 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Complex.pm	48.888 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Trig.pm	21.585 KB	-rw-r--r--	Select Delete Chmod Rename Edit