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

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

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

-project.org] On Behalf Of Marius Hofert Sent: Tuesday, September 10, 2013 2:50 PM To: R-help Subject: [R] double.xmin really the smallest non-zero normalized floating-point number? Hi, ?.Machine says that 'double.xmin' is 'the smallest non-zero normalized floating-point number'. On my