A power of two, when expressed as a binary number, is easy to spot: it has one, and only one, 1 bit. For example, 1000, 10, and 0.001 are powers of two. Inside a computer, however, numbers are more generally represented in binary code, not as “pure” binary numbers. As a result, you may not be able to look at the binary representation of a number and tell at a glance whether it’s a power of two or not; it depends on how it’s encoded.
Numbers in computers are encoded in several forms, the two most common being binary integer and floating-point binary. Powers of two are represented no differently, but because of their special relationship to binary notation, have a distinct look.
We’ll start by reviewing the binary integer and floating-point binary representations, and then we’ll see how powers of two are encoded in those forms.
The standard way to represent integers is with two’s complement notation. The two’s complement representation of a nonnegative integer is faithful to its representation as a pure binary number, with some superfluous differences; it will not have commas or spaces and may have leading zeros added.
The two’s complement representation of a negative integer is not faithful to its representation as a pure binary number. It has the equivalent of a minus sign, which is a 1 bit in the most significant or leftmost position, but the value in the rest of the field is not the pure binary representation of the integer. (That’s all I’ll say about it in this article, since negative numbers are not powers of two.)
Integers come in several sizes: 8 bits, 16 bits, 32 bits, and 64 bits are the common choices. The size determines the number of integers that can be represented. For example, a 32-bit integer can represent 232 values.
An integer can be unsigned or signed. Unsigned integers represent only nonnegative values. A 32-bit unsigned integer can represent an integer between 0 and 232 – 1. Signed integers represent both negative and nonnegative values, with an equal number of each representable. A 32-bit signed integer can represent an integer between -231 and 231 – 1.
The standard way to represent real numbers is with IEEE 754 floating-point binary. Floating-point representation is akin to scientific notation; it separates a number into a sign part, an exponent part, and a fraction part. This means that a floating point number is not stored as a pure binary number.
The two common forms of floating-point are single-precision, which is 32 bits, and double-precision, which is 64 bits. The forms differ by the size of the exponent and fraction fields; they are bigger in double-precision.
Single-precision floating-point numbers are 32 bits long, and consist of three fields:
- Sign. The sign field is 1 bit. It is 0 for positive numbers, 1 for negative numbers, and can be 0 or 1 for the number 0.
- Exponent. The exponent field is 8 bits. It represents the exponent n to which 2 is raised, scaling the fraction by 2n. The exponent is stored in biased form, which is a special encoding that stores positive and negative exponents as positive integers.
To compute the exponent, interpret this field as an unsigned binary integer and subtract 127, giving a signed binary integer result. For example, a value of 10000011 (131) represents an exponent of 4, and a value of 01111101 (125) represents an exponent of -2. The values 0 and 255 have special meanings, and are not interpreted as exponents.
- Fraction. The fraction field is 23 bits. If the number is normalized, the exponent field will be nonzero, and there will be an implicit 1 bit preceding the fraction. For example, 22 has an exponent field value of 10000001 (129), which means the exponent is 2. The number is interpreted as 1.0 x 22, but only the 0 is stored in the fraction.
If the number is denormalized (AKA denormal or subnormal), the exponent field will be zero, and there will not be an implicit 1 bit preceding the fraction. A denormalized number has an implicit starting exponent of -126, minus the position of the first 1 bit in the fraction field. For example, 2-128 has an exponent field value of zero, and a fraction field value of .01. The number is interpreted as 0.01 x 2-126, which is 2-128.
Double-precision floating-point numbers are 64 bits long, but are otherwise similar to single-precision numbers. The only differences are in the exponent and fraction fields. The exponent field is 11 bits, has a bias of 1023, and gives the values 0 and 2047 special meanings. The fraction field is 52 bits.
Normalized and denormalized numbers are represented similarly as in single-precision floating-point. For example, 22, which is a normalized number, has an exponent value of 10000000001 (1025) and a fraction field value of 0. The number 2-1024, which is a denormalized number, has an exponent value of zero and a fraction field value of .01.
Powers of Two in Integers
Powers of Two in Unsigned Integers
An n-bit unsigned integer can represent n powers of two; specifically, the nonnegative powers of two from 20 through 2n-1. For example, a 32-bit unsigned integer can represent the 32 powers of two from 20 through 231:
|Power of Two||32-Bit Unsigned Integer Representation|
From the table you can deduce that an unsigned integer is a power of two if and only if it has exactly one 1 bit.
Powers of Two in Signed Integers
An n-bit signed integer can represent n-1 powers of two; specifically, the nonnegative powers of two from 20 through 2n-2. For example, a 32-bit signed integer can represent the 31 powers of two from 20 through 230:
|Power of Two||32-Bit Signed Integer Representation|
The value 10000000000000000000000000000000, which is 231 in an unsigned integer, is -231 in a signed integer; thus, it’s not a power of two in a signed integer.
From the table you can deduce that a signed integer is a power of two if and only if its sign bit is 0 and the remaining part of its binary representation has exactly one 1 bit.
Powers of Two in Floating-Point
Single-precision floating-point can represent 277 powers of two, from 2-149 through 2127. Denormalized powers of two are those from 2-149 through 2-127; normalized powers of two are those from 2-126 through 2127. This table shows the range of powers of two covered and their encodings:
|Power of Two||32-Bit Floating-Point Representation|
From the table you can deduce that a single-precision floating-point number is a power of two if and only if
- Its exponent field value is 0 and its fraction field has exactly one 1 bit
- Its exponent field value is between 1 and 254 and its fraction field is 0.
Double-precision floating-point can represent 2,098 powers of two, from 2-1074 through 21023. Denormalized powers of two are those from 2-1074 through 2-1023; normalized powers of two are those from 2-1022 through 21023. This table shows the range of powers of two covered and their encodings:
|Power of Two||64-Bit Floating-Point Representation|
From the table you can deduce that a double-precision floating-point number is a power of two if and only if
- Its exponent field value is 0 and its fraction field has exactly one 1 bit
- Its exponent field value is between 1 and 2046 and its fraction field is 0.
Endianness is a property of computers that specifies how bytes within the binary encoding of a number are ordered in memory. There are two orderings, big-endian and little-endian. Big-endian can be viewed as the ordering in the tables above; little-endian can be viewed as the reverse. For example, in single-precision floating-point, 2-2 is 00111110100000000000000000000000 in big-endian and 00000000000000001000000000111110 in little-endian. Endianness applies similarly to double-precision floating-point and all integers greater than 8 bits long.
If you’re working on a little-endian machine — which you are if you’re on an Intel-based PC — you’ll have to reverse the bytes of the number representation to have it match the layout in the tables.
You can tell whether a number in a computer is a power of two by looking at its binary encoding. Unsigned integers are easiest to check; just count 1 bits. Signed integers are almost as easy to check; check that the number is nonnegative and then count 1 bits. Numbers in floating-point representation are harder to check. You must parse the fields, taking into account endianness, and then interpret each field according to how it’s defined. In other words, a simple count of 1 bits is insufficient.
Try it Out
I wrote a C program to print the fields of a double-precision floating-point-number. You can use that program to explore the representation of powers of two further.