truediv operator for Tempo