Goal

The task

**Output (stdout):** - A single JSON object with exactly these keys: - `"top_k"`: a JSON array of the top-k largest numbers, in stable descending order. Each number must be represented as a JSON number (not string), except `inf`, `-inf`, `nan` which must be JSON strings `"inf"`, `"-inf"`, `"nan"`. - `"percentile"`:…