Decimal numbers and the decimal point