fix decodeDouble and other integer-gmp bugs, remove reserved word from text shim