How can I get specific values out of JuMP's variables?

Unfortunately not, the whole point is that your function should handle generic VariableRef objects instead of trying to turn them into Float64. For all intents and purposes, these objects behave just like numbers, so the only challenge is to write sufficiently generic code.

Do you have access to said code? Can you give an example?