We have an analogous issue to https://github.com/microbit-foundation/micropython-microbit-v2/issues/136 in constants.ts that will need fixing when we upgrade MicroPython.