JavaScript의 number는 왜 0과 -0을 지원하는가?

[luke0408]

궁금한 점

What:

JavaScript의 number가 0과 -0을 "왜" 지원하는지, 그리고 "어떻게" 지원하는지 궁금하다.

Why:

JavaScript - number를 공부하면서 JavaScript.info - number 자료를 통해 두 종류의 0 이라는 내용을 보게 되었다. 그 내용은 다음의 callout과 같다.

Note

자바스크립트 내부에서 숫자를 표현하는 방식 때문에 발생하는 또 다른 흥미로운 현상은 0과 -0이라는 두 종류의 0이 존재한다는 사실입니다.

자바스크립트에선 숫자의 부호가 단일 비트에 저장되는데 0을 포함한 모든 숫자에 부호를 설정할 수도, 설정하지 않을 수도 있기 때문입니다.

대부분의 연산은 0과 -0을 동일하게 취급하기 때문에 두 0의 차이는 두드러지지 않는 편입니다.

위 note를 보고 0을 지원하는 건 그렇다고 치는데 -0을 왜(어떤 맥락에 의해) 지원할 필요가 있었으며, 그리고 어떻게 지원하는 지에 대한 궁금증이 생겼다.

추측해보기

What I Already Know:

이전에 대학 강의로 들었던 프로그래밍 기초 과목에서 배운 C언어의 number 저장 관련 메모리 지식을 살려보면 숫자는 메모리에 다음과 같이 저장된다고 기억한다.

12345라는 값을 short를 통해 저장하는 예제이다.

1. 양수 short 값 저장 시 2진수
예제: short num = 12345;

• 12345의 16비트 2진수 표현:

  0011 0000 0011 1001
  

2. 음수 short 값 저장 시 2진수 (2의 보수 변환)
예제: short num = -12345;

1. 양수 12345의 16비트 2진수:

   0011 0000 0011 1001
   

2. 1의 보수 (비트 반전):

   1100 1111 1100 0110
   

3. +1을 더한 2의 보수:

   1100 1111 1100 0111
   

요약

• 12345는 2진수로 0011 0000 0011 1001로 저장.
• -12345는 2의 보수 방식으로 1100 1111 1100 0111로 저장.

Preliminary Thoughts:

위 방식을 기준으로 해서 값을 표현해본다면,
8bit에서 숫자 0를 0000 0000이라 할 때, -0 또한 2의 보수(1111 1111)에 1을 더한 0000 0000이 될 것이다.

즉, 메모리 상 표현 방식이 완전히 똑같기 때문에 이 둘을 구분할 수가 없다.

하지만 C언어의 숫자형과 js의 number 사이에는 큰 차이가 있다. 바로 c언어는 정수형과 실수형을 나누지만 js에서는 number로 실수와 정수를 둘 다 표현한다는 것이다.

즉, js의 number는 부동소수점을 가질 것이다. 따라서, 정수형 데이터보다는 실수형 데이터 메모리 형태 구조를 따를 것으로 예상한다.

간단하게 말하면, 0과 -0은 실제론 C언어의 0.0과 -0.0의 차이지 않을까 생각한다.

Note

최종 가설:

• number는 정수형과 실수형을 구분하지 않고 모든 숫자를 부동소수점을 고려하여 메모리 상에 저장할 것이다.

Checklist: Essential Guidelines to Verify Before Posting

• Clear Title: 제목이 문제의 핵심을 명확하고 간결하게 요약하고 있나요?
• Detailed Background: 문제의 배경, 학습 동기, 현재 이해한 내용을 충분히 설명하였나요?
• Reproducible Example (if applicable): 코드나 재현 가능한 예제가 필요한 경우, 최소한의 예제를 포함하였나요?
• Readability: 질문이 읽기 쉽도록 헤더, 목록, 코드 블록 등을 적절히 사용하였나요?

[luke0408]

[ 사실 검증 ]

JavaScript Number의 메모리 구조는?

MDN의 Standard built-in object > Number 문서를 보면 JavaScript의 Number Type을 다음과 같이 설명한다.

Note

The JavaScript Number type is a double-precision 64-bit binary format IEEE 754 value, like double in Java or C#

이는 JavaScript의 Number가 부동 소수점을 가지는 실수형의 형태로 메모리에 저장됨을 의미한다.

IEEE 754 표준

IEEE 754 표준을 따르는 64-bit 부동소수점의 메모리 구조는 다음과 같다.

구성 요소	비트 수	설명
부호 비트 (Sign)	1 비트	0은 양수, 1은 음수를 나타냄
지수부 (Exponent)	11 비트	수의 크기를 조절하기 위한 지수 값
가수부 (Mantissa)	52 비트	수의 실제 값을 나타내는 부분

Note

• 부호 비트(Sign bit) 덕분에 0과 -0 을 구분할 수 있다.
• 정수형/실수형 구분 없이 모두 부동소수점으로 표현한다.

즉, 0과 -0을 IEEE 754에 따라 이진수로 표현하면 다음과 같은 결과 값을 얻을 수 있다.
(실제로 숫자를 넣어 변환 되는 과정을 보고 싶다면 이곳을 추천한다.)

값	부호 비트	지수부	가수부
0	0	000...0	000...0
-0	1	000...0	000...0

• 유일한 차이점은 부호 비트(Sign bit)
• 실제 메모리 상에서는 구분 가능하지만, 대부분의 연산에서 동등하게 취급됨

[luke0408]

[ 추가 질문 ]

1. JavaScript의 number의 실제 구조를 이해했으며, 실수형과 정수형의 숫자를 number라는 type을 통해 한번에 처리하기 위함이라고 보아진다. 그렇다면 반대로 이렇게 했을 때 생길 수 있는 단점은 뭐가 있을까?
2. 0과 -0이 실제 연산에 미치는 영향이 있을까?

[luke0408]

JavaScript Number 타입의 단점 (IEEE 754 기반)

1. 부동소수점 정밀도 오류 (Precision Error)

부동소수점 정밀도 오류는 2진 부동소수점으로 숫자를 표현하는 과정에서 발생한다. 일부 10진수 숫자는 2진수로 정확히 표현할 수 없어 근사값으로 저장되며, 이로 인해 계산 시 미세한 오차가 발생한다.
(궁금하다면 이곳을 통해 테스트 해볼 수 있다.)

예시 코드:

console.log(0.1 + 0.2);  // 예상: 0.3, 실제: 0.30000000000000004
console.log(0.1 + 0.2 === 0.3);  // false

해결 방법:

• toFixed() 또는 toPrecision() 메서드를 사용해 자릿수를 제어한다.
• Math.round()를 활용해 원하는 자리수에서 반올림한다.

let sum = 0.1 + 0.2;
console.log(Number(sum.toFixed(10)) === 0.3); // true

Caution

금융이나 회계 시스템처럼 정밀한 계산이 필요한 경우에는 BigInt나 외부 라이브러리를 사용하는 것이 적합하다.

2. 안전한 정수 범위 제한 (Safe Integer Range)

JavaScript의 Number 타입은 정수부에 최대 53비트만 사용하므로, -(2^53 - 1) ~ (2^53 - 1) 범위를 벗어나면 정밀도 손실이 발생한다.

예시 코드:

console.log(Number.MAX_SAFE_INTEGER);           // 9007199254740991
console.log(Number.MAX_SAFE_INTEGER + 1);       // 9007199254740992
console.log(Number.MAX_SAFE_INTEGER + 2);       // 9007199254740992 ❌ (정밀도 손실)

해결 방법:

• 정밀도가 필요한 경우, BigInt 타입을 사용한다.

let bigNum = BigInt(Number.MAX_SAFE_INTEGER) + 2n;
console.log(bigNum);  // 9007199254740993n

3. NaN, Infinity, -Infinity와 같은 특수 값 처리

JavaScript의 Number 타입은 특수 값으로 NaN, Infinity, -Infinity를 제공한다. 하지만 이들 특수 값은 예상치 못한 동작을 유발할 수 있다.

• NaN (Not a Number) → 연산 실패 시 반환된다.
• Infinity, -Infinity → 0으로 나누거나 오버플로우가 발생할 때 반환된다.

예시 코드:

console.log(NaN === NaN);       // false (자기 자신과도 같지 않음)
console.log(Object.is(NaN, NaN)); // true (정확한 비교 가능)
console.log(1 / 0);             // Infinity
console.log(1 / -0);            // -Infinity

해결 방법:

• isNaN() 또는 Number.isNaN()을 사용해 NaN을 검출한다.
• Object.is()를 활용해 정확한 비교를 수행한다.

4. 타입 일관성 부족으로 인한 오류 가능성

JavaScript는 정수와 실수를 구분하지 않고 Number 타입으로 처리하기 때문에, 의도치 않은 결과가 발생할 수 있다.

예시 코드:

let x = 10;     // 정수
let y = 3.14;   // 실수

let result = x / y;
console.log(result);  // 3.183098861837907 (정수를 원했지만 실수 반환)

해결 방법:

• 정수 결과가 필요한 경우 Math.floor(), Math.round(), Math.ceil() 등의 메서드를 사용한다.

5. 비트 연산의 한계

JavaScript에서 비트 연산자(&, |, ^, ~)를 사용할 때, 내부적으로 32비트 정수로 강제 변환된다. 이로 인해 오버플로우가 발생할 수 있다.

예시 코드:

console.log(0xFFFFFFFF + 1);  // 4294967296 (정상)
console.log((0xFFFFFFFF + 1) | 0);  // 0 (32비트 오버플로우)

해결 방법:

• 정밀한 비트 연산이 필요한 경우 BigInt를 사용하거나, 32비트 범위 내에서 연산한다.

정리: 단점과 해결책

단점	원인	해결책
부동소수점 정밀도 오류	2진수 표현의 한계	toFixed(), BigInt 사용
안전 정수 범위 초과 문제	53비트 정밀도 제한	BigInt 사용
NaN, Infinity 특수 값 이슈	IEEE 754 특수 값 사용	Object.is(), isNaN() 활용
타입 일관성 부족	정수/실수 구분 없음	Math.round(), BigInt 사용
비트 연산 한계	32비트 정수 변환	BigInt 사용 또는 32비트 고려

레퍼런스

• IEEE 754 표준 원문 (Institute of Electrical and Electronics Engineers, 1985, 2008 개정)

  • 부동소수점 산술에 대한 국제 표준으로, JavaScript Number 타입의 기반이 되는 규격이다.
  • 단정밀도(32비트) 와 배정밀도(64비트) 부동소수점 포맷을 정의한다.
  • JavaScript에서는 64비트 배정밀도를 사용한다.

• ECMAScript Language Specification (ECMA-262)

  • JavaScript 언어의 공식 표준 문서이다.
  • Number 객체의 내부 동작, NaN, Infinity, 정밀도 제한 등에 대한 내용을 포함한다.
  • Section 6.1.6.1.20: Number 타입의 내부 구조에 대해 설명한다.

• Mozilla Developer Network (MDN) - Number

  • JavaScript의 Number 객체와 관련된 다양한 예제와 설명을 제공한다.
  • MAX_SAFE_INTEGER, MIN_SAFE_INTEGER, isNaN(), Object.is() 등의 사용법을 설명한다.

• What Every Computer Scientist Should Know About Floating-Point Arithmetic (David Goldberg, 1991)

  • 부동소수점 연산의 근본적인 이슈와 오차 문제를 설명하는 고전적인 논문이다.
  • 부동소수점 연산의 정밀도 문제와 오차 발생 원인을 깊이 있게 다룬다.

• The Floating-Point Guide

  • 부동소수점의 작동 원리를 직관적으로 설명하는 비공식 문서이다.
  • JavaScript, Python, C 등 다양한 언어에서의 부동소수점 오류 사례를 포함한다.

[kakasoo]

너무 좋은 문제인데, 실제로는 bigint로도 부족한 경우가 꽤 있습니다. 그래서 text 타입으로 저장하고, 계산기를 만들듯이 계산을 위한 함수들을 구현하는 일도 종종 있죠. 숫자 자체가 '경' 단위까지 표현 가능한데 부족하다니 조금 낯설 수 있는데, 예를 들어, 저도 정확한 이유까진 모르지만, 구글 광고를 집행할 때 API 스펙으로는 1원이 1,000,000 마이크로 원으로 표현됩니다. 아마도 구글처럼 글로벌 회사의 경우, 1원을 기준으로 해버리면 환율이 다른 나라들을 표현하기 어려워질 수 있기 때문에, 우리나라 1원을 기준으로 API 스펙을 정의하지 않은 게 아닐까 싶습니다. 예를 들어, 짐바브웨처럼, 짐바브웨 달러, 인플레이션이 매우 심한 화폐를 쓰고 있다면 우리나라 돈 1원부터 시작할 API 스펙으로는 무척 곤란한 일이 생기지 않았을까요? 다만, 지금 정리하신 bigint 범위로도 거의 99% 이상의 문제를 해결할 수 있을 법 하니 크게 신경쓸 필요는 없는 정보긴 합니다.

[luke0408]

@kakasoo 새로운 지식을 알려주셔서 감사합니다! 정밀도 오류가 있는 number와 소수점 아래 단위를 표현할 수 없는 bigint 로는 금융 시스템 처럼 고정밀 수학 시스템의 요구 사항을 충족 시킬 수 없어 아예 string을 통해 사용한다는 거군요.

옛날에 c언어 배울때 했던 큰 자리 수 연산을 문자열로 구현한 방식이 기억나네요