Use less memory in divapprox.