DOUBLE


Description:

DOUBLE

a finite double-precision floating point number