Make rounding consistent

[Cat-Ion]

Currently, fixed point numbers round when doing multiplications, but not divisions. Optimally, there should also be support for multiple rounding modes (round to zero, +- infinity, nearest number, ...)