use built-in 'printf' to convert nr