NUM2DEVT 462 file.c #ifndef NUM2DEVT NUM2DEVT 991 file.c rb_str_catf(str, "0x%"PRI_DEVT_PREFIX"x", NUM2DEVT(v));