floating-point normal number