decimal number

real number noted with a finite number of digits that represent its decimal development in positional notation; more commonly refers to numbers that have a finite fractional part separated from the integer part with a decimal separator (e.g. 11.25)