PostScript binary encoder