added note about IEEE vs VAX floating point (bug 4270)
1 file changed