Fix the float semantics a bit, maybe.
Fix the float semantics a bit, maybe.

- The float semantics are still confusing; I need to think more about this

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius