Redundant_binary_representation