Hi Bob,

you can multiply the DPI with 2:
96 DPI * 2 = 192 DPI.

This number is burnt into my brain.

Remi