floating point mutability and aliasing review l15 5068643