Number printing now supports any 16 bit integer.