Upper/lower bounds were having problems with bignums -- fix