Implemented extractelement in Array::ExactSize.