Work around strict-aliasing error