-- This test ensures that we don't strip leading zeros from the fractional
-- component of seconds when pretty-printing them
00:00:00.01