interface APIApplicationCommandInteractionDataNumberOption implements APIInteractionDataOptionBase<ApplicationCommandOptionType.Number, number>Re-exportDeprecatedDeprecatedAPI and gateway v8 are deprecated and the types will not receive further updates, please update to v10. import { type APIApplicationCommandInteractionDataNumberOption } from "https://deno.land/x/discord_api_types@0.37.98/payloads/v8/mod.ts"; Propertiesoptionalfocused: boolean