decimal point Definition