Add int constructor