Log Message:
Merge two patches already upstream:
- use a more compact encoding for reals by dropping trailing zeros after
  the decimal point.
- ensure the BaseFont property of the standard PS fonts is preserved.

Bump revision.