DVM_CAST_DOUBLE_TO_STRING  475 compiler/generate.c 	generate_code(ob, DVM_CAST_DOUBLE_TO_STRING);
DVM_CAST_DOUBLE_TO_STRING  639 dvm/execute.c  	case DVM_CAST_DOUBLE_TO_STRING: