Added important information for instantiation of a new number type