Fix floating point error in Params spec