Make the threadpool honour the int argument for number of elements to process Closes #727 See merge request !1224