times(0xfffffffffffffffd)