HexToDec4.java

class C {
  double d = -<caret>0x1.ffff_ffff_ffff_fP1_023;
}