function decrement(n: number): number;