Where did the system of Arabic numerals come from originally? To what regions did it spread after al-Khwarizmi wrote his book on the topic?