According to Rec. ITU-T X.691 (08/2015)

11.5.3 Let "range" be defined as the integer value ("ub" – "lb" + 1), and let the value to be encoded be "n".

See also https://github.com/vlm/asn1c/issues/185#issuecomment-368745830