- "twenty five";
// @type-error: 0 cannot apply unary operator '-' to value of type string