13.is(1 / 2)