Removed custom type "decimal".

Note that "float" was also removed, but that doesn't impact
this code, as it was just using the JSON number type.

Author: eldering

contest-api/json-schema/common.json

@@ -102,11 +102,6 @@
 		"minimum": 0
 	},
 
-	"decimal": {
-		"type": "number",
-		"multipleOf": 0.001
-	},
-
 	"fileref": {
 		"type": "object",
 		"properties": {

contest-api/json-schema/judgement.json

@@ -15,7 +15,8 @@
 		"max_run_time": {
 			"oneOf": [
 				{
-					"$ref": "common.json#/decimal",
+					"type": "number",
+					"multipleOf": 0.001,
 					"minimum": 0
 				},
 				{ "type": "null" }

contest-api/json-schema/problem.json

@@ -15,7 +15,8 @@
 		},
 		"color": { "type": "string" },
 		"time_limit": {
-			"$ref": "common.json#/decimal",
+			"type": "number",
+			"multipleOf": 0.001,
 			"minimum": 0
 		},
 		"test_data_count": {

contest-api/json-schema/run.json

@@ -12,7 +12,8 @@
 		"time": { "$ref": "common.json#/abstime" },
 		"contest_time": { "$ref": "common.json#/reltime" },
 		"run_time": {
-			"$ref": "common.json#/decimal",
+			"type": "number",
+			"multipleOf": 0.001,
 			"minimum": 0
 		}
 	},