What will type Numbers be?

type Extract<T, U> = T extends U ? T : never;

type Numbers = Extract<string | number | boolean, number | boolean>;