Hopefully fixed integer and double decoding capabilities to match those of the old decoder