Symbol: pwm_check_rounding