> Don't you end up with PDF if you start with PS and restrict it to a subset?

PDF is also a binary format.