OK, one implementation is in `ctors.c` line 929. And there is a function somewhere that I can't find at the moment. A grep for 'overflow' turns up other spots where this is a concern, sometimes for addition.