`num` is a nicer name than `i`.
Another alpha-rename.