add new primitives so that new Fixed point type can be synthesized