Work on proving properties with floats.