[mulmen]

The problem is our primitive text representation online. The formatting should be localized but there’s not a number type I can easily insert inline in a text box.