HANDLE_OP_X_DOUBLE(OP_ADD_DOUBLE, "add", +)
OP_END