implement mag_sub_lower properly and test+document it