Make decisions about what fix_div and fix_mul should be in special cases, add tests