Making Symbol.get_value look slightly more sane