fn frac(num: Frame, den: Frame) -> f64
num / den as f64, via a lossless u32 hop (frame counts are tiny; den is always > 0 at the call sites below).
num / den
f64
u32
den
> 0