tweaking time model a bit; fix a bug for edge case on showing minBound for diffTime