Fix floating point bug in proper_relax