[Bug] Problem with print floating point

[no1wudi]

I've a simple program:

int main(int argc, FAR char *argv[])
{
  double value = +0x1.000000000000080000000000p-600;
  printf("Hello, World!! %.7g:f64\n", value);
  return 0;
}

And this is the output:

➜  nx qemu-system-arm -semihosting -M sabrelite -m 1024 -smp 4 -nographic -kernel nuttx/nuttx

NuttShell (NSH) NuttX-11.0.0
nsh> hello
Hello, World!! 2.40992e-B1:f64

The output of value is wrong, correct result is 2.40992e-181.