> Right, I am saying that if you see 0x followed by no digits I would rather > get back NONE than a SOME 0 with the state being about to return x. I admit > that the ice is thin though. There is no ice. The basis spec makes it clear and all the implementations agree: SOME 0 is correct.