private static @NotNull DfType numberAsDecimalString(DfaCallArguments args, DfaMemoryState state) {
    DfaValue arg = args.myArguments[0];
    if (arg == null) return DfType.TOP;
    return numberAsDecimalString(state, arg);
  }
private static @NotNull DfType numberAsDecimalString(DfaCallArguments args, DfaMemoryState state)