Support unbounded fixed point integers.
Predefined fixed-point types now only defined in unittest to avoid instantiation cost when compiling.
Cleaner documentation comments.