This isn't a new require; see 322d272634e4336d84ee0568e7b84b41d0763977.

We prefer not to pollute stdlib, but it's not an absolute rule.