Int2 from Int#

MDL Identifier: aux_definitions::construct_int2

Description: Construct a int2.