diff --git a/specification/monitor/resource-manager/microsoft.insights/stable/2018-01-01/metrics_API.json b/specification/monitor/resource-manager/microsoft.insights/stable/2018-01-01/metrics_API.json
index ae8bf47b7f85..415950a31efc 100644
--- a/specification/monitor/resource-manager/microsoft.insights/stable/2018-01-01/metrics_API.json
+++ b/specification/monitor/resource-manager/microsoft.insights/stable/2018-01-01/metrics_API.json
@@ -336,7 +336,7 @@
       "name": "top",
       "in": "query",
       "required": false,
-      "type": "number",
+      "type": "integer",
       "format": "int32",
       "description": "The maximum number of records to retrieve.\nValid only if $filter is specified.\nDefaults to 10.",
       "x-ms-parameter-location": "method"