Removing unnecessary to_integer_32 feature in INTEGER_32