double g = 0x00f.e; /* error: hexadecimal constants require an exponent */