let num = 8;
if (!Number.isNaN(num)) { // NumberConstructor.isNaN(value: any): value is number
    printNumber(num + 1); // `num` should still be a number but TS thinks it has `never` type
}

function printNumber(num: number) {
    console.log(`Got ${num} - 1`);
}