== BEFORE-FIX (vulnerable) ==
== AFTER-FIX ==
FIX: a_d==0 guarded, no division
FIX: rate/ref_div==0 guarded
FIX: step==0 returns -EINVAL