facebook/hhvm — pull request #4413 by krishnanm86 (2014-12-09 09:44:04+00:00)
Title: Source code refactoring, merged functionalities typeDiv and typeMod

Sorry about the earlier confusions and dummy pull requests. I am just getting used to the Github pull request mechanism. Please consider only this pull request from my end.