On an unrelated note, there’s a poll going in another thread about whether we should keep an odd bit of unspecified behavior—if ($ times $ into $) overflows, unlike the other math predicates, it returns an unspecified result instead of failing. Should we maintain that exception, or make it fail on overflow like the other math predicates do? Go make your voices heard!