function mulDiv (uint x, uint y, uint z) public pure returns (uint)
0.4.18