For AI agents: visit https://lucid-developer-docs.readme.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.

function isPositiveNumber(x): x is number