Missing TypeScript definitions in Math namespace

Describe the bug

When using vscode to edit a project, functions like Math.map & Math.constrain are missing defintions.

To Reproduce
Steps to reproduce the behavior:

npm install -g pxt
pxt target microbit
pxt install

See https://github.com/CodeMan99/mb-lightning-bug

Expected behavior

TypeScript definitions in the Math namespace to be available. No error should be produced such as Property 'map' does not exit on type 'Math'. ts(2339).

Screenshots

micro:bit version (please complete the following information):

You can find this information in the lower right hand corner of the back of micro:bit (the side that says BBC micro:bit).

• Which version of the micro: v2.21

Desktop (please complete the following information):

• OS: Debian GNU/Linux 12 (bookworm) as container running on Windows 11
• Browser: VSCode
• Version: 1.80.2

Additional context

$ ls pxt_modules
core  microphone  radio

Reproduce the issue with the listed npm and pxt commands, then inspect how the pxt-microbit project exposes its TypeScript definitions, including the pxt_modules tree. Confirm that Math.map and Math.constrain are available to VSCode without ts(2339), and verify the result in the linked example project.