function integer (n) { return n%(0xffffffff+1); }