The docs state that 0b01111111'01111111 is equal to 1 / 2^15 - 1 which it is not.
The docs state that 0b01111111'01111111 is equal to 1 / 2^15 - 1 which it is not.