Symbol: obj_get_integer