A good discussion went in comment to another PullReq, adding top-level ticket to be able to find it later: https://github.com/micropython/micropython/pull/238#issuecomment-33681499