import { type Num } from ".";