Function formatNumber

src/annotations/appearance/highlight.ts:124–132

* Format a number for PDF content stream.

(n: number)

 * Format a number for PDF content stream.
 */
function formatNumber(n: number): string {
  const rounded = Math.round(n * 10000) / 10000;

  if (Number.isInteger(rounded)) {
    return String(rounded);
  }

  return rounded.toString();
}