Explicit return in step_modulo_value.