* @param operationName
   * @return Stella_Object
   */
  public static Stella_Object defineArithmeticOperationOnWrappers(Symbol name, Symbol operationName) {
    return (Cons.list$(Cons.cons(Logic.SYM_STELLA_DEFUN, Cons.cons(Cons.cons(name, Cons.cons(Logic.SYM_STELLA_NUMBER_WRAPPER, Stella.NIL)), Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_X, Cons.cons(Logic.SYM_STELLA_NUMBER_WRAPPER, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_Y, Cons.cons(Logic.SYM_STELLA_NUMBER_WRAPPER, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.KWD_PUBLICp, Cons.cons(Logic.SYM_STELLA_TRUE, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_LET, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_FLOATRESULT, Cons.cons(Logic.SYM_STELLA_FLOAT, Cons.cons(Logic.SYM_STELLA_NULL, Cons.cons(Stella.NIL, Stella.NIL))))), Stella.NIL), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_TYPECASE, Cons.cons(Logic.SYM_STELLA_X, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_INTEGER_WRAPPER, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_TYPECASE, Cons.cons(Logic.SYM_STELLA_Y, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_INTEGER_WRAPPER, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_RETURN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAP_LITERAL, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SAFE_CAST, Cons.cons(Cons.cons(operationName, Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAPPER_VALUE, Cons.cons(Logic.SYM_STELLA_X, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAPPER_VALUE, Cons.cons(Logic.SYM_STELLA_Y, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Logic.SYM_STELLA_INTEGER, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_FLOAT_WRAPPER, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_FLOATRESULT, Cons.cons(Cons.cons(operationName, Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAPPER_VALUE, Cons.cons(Logic.SYM_STELLA_X, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAPPER_VALUE, Cons.cons(Logic.SYM_STELLA_Y, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_FLOAT_WRAPPER, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_TYPECASE, Cons.cons(Logic.SYM_STELLA_Y, Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_INTEGER_WRAPPER, Cons.cons(Logic.SYM_STELLA_FLOAT_WRAPPER, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_FLOATRESULT, Cons.cons(Cons.cons(operationName, Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAPPER_VALUE, Cons.cons(Logic.SYM_STELLA_X, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAPPER_VALUE, Cons.cons(Logic.SYM_STELLA_Y, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_RETURN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WRAP_LITERAL, Cons.cons(Logic.SYM_LOGIC_FLOATRESULT, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL)))))))));
  }