beginner question: idiomatic way to get default values

[mnpqraven]

I'm a beginner at arktype and i'm rather confused by how getting default values works in an idiomatic way. In zod there would be a meta field where you can get the default values that you set from the schema declaration, but in arktype it's typed as unknown. As for an example, i have a basic object with defaults and i want to declare some variables that is just the default value of each field. The code below works but i have to cast it because the type is originally ArkErrors | T. Is there a cleaner way to get default field values in an object ?

import { type } from "arktype"

const Thing = type({
  pageIndex: "number = 1",
  pageSize: "number = 15",
  "query?": "string",
});

// i just want 1 here
const defaultPageIndex = (Thing({}) as unknown as typeof Thing.infer).pageIndex

// i just want 15 here
const defaultPageSize = (Thing({}) as unknown as typeof Thing.infer).pageSize