Drop a stale arg from the float-formal expectation ##analysis