This should also assert that it doesn't overflow.