Int::times

Here are some of the discussed modifications.

I'm not sure how the code in the example is tested or if it needs a .res file, but it should work.