`DateTime` arithmetic on `Microsecond` (or smaller) scale

That’s fair, just note that it would add some implementation complexity and maintenance burden in that your module now needs to know about leap seconds (assuming UTC timestamps).