Could this just be `return ity`, with the `return best` below just becoming `attr::UnsignedInt(ast::ty_u64)`?