I don’t remember why it has been called int_size. But it could be renamed, if users find/prefer a more appropriate name.
int_size