--resize: Use floating-point arithmetic to avoid artifacts.

The integer scaling we previously used was along the right direction,
but anomalies could arise when different frames started at different
left/top positions. This avoids that but is a tiny bit slower.