tmpim/amulet 1 closed

• Integers not closed under division Aug 11