<@U0D06TWMA>: I'm wondering why the cast's necessa...
# announcements
m
@Andreas Sinz: I'm wondering why the cast's necessary (IJ says it will never succeed, but it does)?