Fix twips-to-pixels rounding issues

Lesson learned: `* 0.05` is not a valid replacement for `/ 20`.

Also, cleanups.