1.0.3.19: the count argument in DOTIMES is known to be an integer