missing as_floating include in erfc