Solidity : Multiplication after division