Export RoundAwayZero too (even though it only works for BigFloats)