class HexadecimalLiteral { void a() { double value = (double) 0xFF; } }