Fixes with aliasing - using ieee.h