리스펙스는 임의 정밀도 정확 정수, 기약 정확 유리수, 정규 위치 표기를 쓰는 유한 IEEE-754 실수를 제공합니다.
한눈에 보기
LISPEX
(list (/ 1 3) (+ 1 2.0) (number->string -0.0))결과
OUTPUT
(1/3 3.0 "-0.0")현재 보장
- 정확 산술은 정확성을 유지하고
+ - * /는 부정확 피연산자가 하나라도 있으면 부정확해집니다. 비교는 혼합 수를 정확히 비교합니다. - 무한대와 NaN은 런타임에 들어올 수 없으며 0 나눗셈은 E313, 비유한 결과 생성은 E314입니다.
- 유한 실수 출력은 왕복 가능한 최단 위치 표기만 쓰고
.0을 강제하며-0.0을 보존합니다.
경계
- 복소수와 플랫폼 libm 초월함수는 제외됩니다.
- 산술의 정확·부정확 전염 규칙을 선택·비교 의미론으로 일반화하면 안 됩니다.