NAME	SIZE	PERMISSION	MODIFY
Decimal.php	3.16 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Hexadecimal.php	2.639 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Integer.php	3.667 KB	-rw-r--r--	Select Delete Chmod Rename Edit
NumberInterface.php	0.62 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Time.php	3.438 KB	-rw-r--r--	Select Delete Chmod Rename Edit
TypeInterface.php	0.646 KB	-rw-r--r--	Select Delete Chmod Rename Edit