+ quantity class
+ factories: make_real, make_signed, make_unsigned