Owners of divideby0's default types