Operator to divide a Duration by an other, when returning a Double is necessary.
This is useful for animations related code.