Clarification of skipping of integer timings re: ADD/SUB