A sketch of the implementation of Get_Integer_Value.