Temporary edit to make get_value() exception work with ints. Working on a better solution.