@Override
  public void renderNumericValue(@NotNull String value) {
    renderRawValue(value, DefaultLanguageHighlighterColors.NUMBER);
  }
@Override
  public void renderNumericValue(@NotNull String value)