Added getters.get_number().