Yes, it does appear that this would have been an overflow, but it is
fixed in current sources so I'm closing out this bug.

Thanks for the report.