```\nlibrary DecimalSafeMath {\n    function decimalDiv(uint256 a, uint256 b)internal pure returns (uint256) {\n        // assert(b > 0); // Solidity automatically throws when dividing by 0\n        uint256 a\_ = a \* 1000000000000000000;\n        uint256 c = a\_ / b;\n        // assert(a == b \* c + a % b); // There is no case in which this doesn't hold\n        return c;\n    }\n```\n