Software developers are allowed to have discussions about "integer" types without being constantly interrupted by number theorists to remind them that those are

Software developers are allowed to have discussions about "integer" types without being constantly interrupted by number theorists to remind them that those aren't really integers. Perhaps one day we will be able to have similar discussions about sum types without constant interjections by functional programmers.