interface NumberOptions implements GenericInputPromptOptions<number>import { type NumberOptions } from "https://dotland.deno.dev/x/cliffy@v0.6.1/packages/prompt/mod.ts"; Propertiesoptionalmin: numberoptionalmax: numberoptionalfloat: booleanoptionalround: number