used move_iter in arithmetic.rs to consume literals vec for stripped_literals