Sorry, yes, `char_dx` is the unmodified value, I forgot.

>  dev_dx is always -char_dx

Seems wrong to me...