porting/sal/qa/rtl/math
