Strongly-typed fixed-point math

[wjmelements]

Fixed point math would benefit from strong typing in order to make clear the boundary between integers with and without multiplicative precision.

type FixedU18 is uint256;
type FixedI18 is int256;