add get_integer_value, set_integer_value