John Benediktsson 5f89facf9e basis/extra: replace "/ >integer" with "/i" in a few places.		2020-05-16 11:17:42 -07:00
..
064.factor	basis/extra: replace "/ >integer" with "/i" in a few places.	2020-05-16 11:17:42 -07:00