NAME	SIZE	PERMISSION	MODIFY
Decimal.php	3.042 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Hexadecimal.php	2.647 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Integer.php	3.784 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.367 KB	-rw-r--r--	Select Delete Chmod Rename Edit
TypeInterface.php	0.646 KB	-rw-r--r--	Select Delete Chmod Rename Edit