static O dm_bigNumberValue(S moduleLibID) {
  ret call(dm_findResolvedModule(moduleLibID), 'getValue);
}