definition of number system