Hot: modulararithmetic