Symbol: nn_divrem_normalized