[R] double.xmin really the smallest non-zero normalized floating-point number?

[Marius Hofert]

Hi,

?.Machine says that 'double.xmin' is 'the smallest non-zero normalized
floating-point number'. On my machine, this is 2.225074e-308. However,
2.225074e-308 / 2 is > 0 and smaller than 2.225074e-308, so
double.xmin is not the smallest such number (?) Am I missing anything?

Cheers,

Marius