)obj).getNumber();         } else if (obj instanceof FDBRecordVersion) {             return ((FDBRecordVersion)obj).toVersionstamp(false);         } else {             return obj;         }     }      