Add Partition function and Int32.Times().