Fixes to overhauled numerical abduction.