stm32l: work on integer printing code