Passing cdf from general to real

Re #17; this is not a final solution, though.