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