type punning. A description of the issue is in the comment included in this commit. This commit was SVN r21166.