:: Handle -> IO a package:mfsolve is:exact

Return the value of the variable or throw an error.