decimal floating-point number