Overhaul of numerical abduction.