Optimizations in numerical abduction.