Why `y./t` rather than `y/t`?  Division by a scalar should always be defined, and I think we should specify that `t` will be a scalar.

(In principle, you could have an interface where a vector of times are passed, but this is more important in languages that rely on vectorization for performance.  It greatly simplifies the implementation of `F` if you know that `t` will always be a scalar.)