- (= significand 1.0-significand))
- (scale-float (typecase float
- (short-float short-float-negative-epsilon)
- (single-float single-float-negative-epsilon)
- (double-float double-float-negative-epsilon)
- (long-float long-float-negative-epsilon))
- (- exponent 1.0-exponent))
- (scale-float (typecase float
- (short-float short-float-epsilon)
- (single-float single-float-epsilon)
- (double-float double-float-epsilon)
- (long-float long-float-epsilon))
- (- exponent 1.0-exponent))))))
+ (= significand 1.0-significand))
+ (scale-float (typecase float
+ (short-float short-float-negative-epsilon)
+ (single-float single-float-negative-epsilon)
+ (double-float double-float-negative-epsilon)
+ (long-float long-float-negative-epsilon))
+ (- exponent 1.0-exponent))
+ (scale-float (typecase float
+ (short-float short-float-epsilon)
+ (single-float single-float-epsilon)
+ (double-float double-float-epsilon)
+ (long-float long-float-epsilon))
+ (- exponent 1.0-exponent))))))