Implement a proper trait for balance math operations

[maltekliemann]

Whatever pallet requires standard math operations (checked, I guess), it should require that the runtime's Balance type offers those.

We then need a trait which any struct which implements checked math. This trait should then implement all the b* operations like bmul, etc. It should also allow to control rounding behavior (take a look at Balancer v2!).