Refix the non-negativity of denom in step_length_positive_definite().