[haddr]

I suppose that's the consequence of the ubiquity of IEEE floating point standard... I worry that we will have to live with that for some time still...