Add FactoredInteger class.