This means tightening types from Duration to FiniteDuration in several places; a good thing, since we replace runtime complaints by compile time errors.