Support for using Integer as ring.
Sign convention for PreStrandAlgebra.