Given that floats are already bitwise reproducible (provided the compiler is appropriately shackled), what does this idea add to reproducibility?