Iruby printing and interconversions for DF and DV