HLevel.getReprArabicNumberFullWidth() ok