I think we could use some text formatting for pins, not only decimal.
/PIN.^/ makes all letters uppercase
/PIN.v/ makes all letters lower case
Also a fix for decimal formatting not filling out decimals would be appreciated
/PIN.##/ with a given value of 4.3 would only show 4.3 but formatting rule is two decimals so it should display 4.30