Moved PlainInt tests into appropriate file