Technically, this may not be `typeof(y0)` due to promotion.  Maybe `typeof(y0/t)`?