Signed_number_representations