no PDF for explorer-formatters-NumberFormatterExample