get_integer


Description:

public int64 get_integer () throws Error

Read a signed integer; see kind for type inspection.