Prettify integer PrettyShow instances
Move *all* times to µs represented by Integer.

The previous hack for using Double was really awkward, and converting
between Double and Int(eger) multiple times introduced a lot of loose
ends. Hopefully this isn not an issue anymore now.