fix-defint-decoder-bug
master
Otherwise we return the unbound symbol INT instead of the value of the we built in the decoder. Fixes bug introduced in 9facf44.
9facf44