Yes, it is a bit of a pain - as you say, custom locale might be the best idea for now.
But I just realised that the only other navigation watch (PineTime) actually converts the number to a string (badly!) so I think having a string in the NavigationSpec is probably better, and would solve all these issues.
I'll try and do a PR for it when I get a moment next week
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.
Yes, it is a bit of a pain - as you say, custom locale might be the best idea for now.
But I just realised that the only other navigation watch (PineTime) actually converts the number to a string (badly!) so I think having a string in the NavigationSpec is probably better, and would solve all these issues.
I'll try and do a PR for it when I get a moment next week