clickhouse: GROUP BY ... WITH TOTALS fails

[pkit]

SELECT
    number,
    count() / 0.1
FROM
(
    SELECT number
    FROM system.numbers
    LIMIT 10
)
GROUP BY number
    WITH TOTALS
HAVING count() > 0.1
ORDER BY number ASC

Invalid expression / Unexpected token. Line 11, Col: 15.
  nt() / 0.1
FROM
(
    SELECT number
    FROM system.numbers
    LIMIT 10
)
GROUP BY number
    WITH 🔻TOTALS🔻
HAVING count() > 0.1
ORDER BY number ASC

See https://clickhouse.com/docs/en/sql-reference/statements/select/group-by#with-totals-modifier

[tobymao]

please link to the relevant documentation

[pkit]

Sorry, updated.