Looks like 128: € is treated special, because 129 : 0xfc : ü works.
ue = "ü"; console.log(JSON.stringify(ue)); // "\u00FC"
@MaBe started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Looks like 128: € is treated special, because 129 : 0xfc : ü works.