Provide optimized arithmetics for multiplication

[pirapira]

There is an optimized addition on abstract values Aadd' but it does not exist for

• [ ] multiplications
• [ ] signed division