Extension of PHP's built-in DateTime to work with microseconds.