updated the WAT in BasicMath