Symbol: nn_divrem_notrim