DVM_CAST_DOUBLE_TO_INT  569 compiler/generate.c 	generate_code(ob, expr->line_number, DVM_CAST_DOUBLE_TO_INT);
DVM_CAST_DOUBLE_TO_INT  847 dvm/execute.c  	case DVM_CAST_DOUBLE_TO_INT: