export type Abs = `${T}` extends `-${infer U extends number | bigint}` ? U : T;