I replaced it with a multiplication overflow check in 18599f9c52. However, we need both, because the code for restoring the number can't handle numbers with many leading zeros right now and I don't feel like teaching it.
18599f9c52