TimePointとTimeIntervalは明示的にRationalにもっていってから計算対象になる。