fixed an off-by-one error in reading negative bignums