DVM_CAST_INT_TO_DOUBLE  463 compiler/generate.c 	generate_code(ob, DVM_CAST_INT_TO_DOUBLE);
DVM_CAST_INT_TO_DOUBLE  609 dvm/execute.c  	case DVM_CAST_INT_TO_DOUBLE: