added Int32Extensions