Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures