type_bit_width
unsigned bits = type_bit_width(type);
unsigned extra_bits = sizeof(s_max)*8 - type_bit_width(type);
if (type_bit_width(type) == 64)
if (type_bit_width(type) == 64)
if (type_bit_width(type) == 128) {
type_bit_width(lhs_type))
type_bit_width(lhs_type),