json.as_integer

pure function as_integer(): integer

Convert this JSON integer value to an integer.

All JSON values that can be converted to integer with as_integer() can also be converted to big_integer with as_big_integer(), though the reverse is not true, since big_integer values may fall outside the integer range.

Throws

• exception — if this JSON value is not an integer

Since 0.14.16