who is responsible for the decimal system we use today?