When some thing that happened previously does not materialize now, you could say that it no longer takes place or that it does not occur any longer. @maclunian, it's a trade-off. Clearly doubles choose up two times just as much House and could be slower for computations, but thet do present the higher selection and precision. You'll want to use