Changed character encoding for the model MathOperations/RealType/Div.mo