Refactored Div operator code in interpreter.ml