Fixed small problem with division in bignum_conversions.cpp (must divide by 2.0 instead of 2)