Don't look at me, I was just copy-and-pasting from the lines above, where 0/0 was used.  It shouldn't matter, any reasonable runtime is going to do constant propagation.  And in fact, this test case is just checking that the valueOf() method is *not* executed, so it doubly doesn't matter.