[t] Add TODO tests for fdiv+PMC+NaN bug