Round half away from zero rounding strategy. If the fraction of
x is exactly 0.5, then y = x + 0.5 if x is positive, and y = x − 0.5
if x is negative.
>>> :set -XDataKinds
>>> :set -XTypeApplications
>>> arithRoundD @1 @RoundHalfFromZero @3 @Int 3.650
Arith 3.7
>>> arithRoundD @1 @RoundHalfFromZero @3 @Int 3.740
Arith 3.7
>>> arithRoundD @1 @RoundHalfFromZero @3 @Int 3.751
Arith 3.8
>>> arithRoundD @1 @RoundHalfFromZero @3 @Int (-3.650)
Arith -3.7
>>> arithRoundD @1 @RoundHalfFromZero @3 @Int (-3.740)
Arith -3.7
>>> arithRoundD @1 @RoundHalfFromZero @3 @Int (-3.751)
Arith -3.8
>>> arithRoundD @1 @RoundHalfFromZero @3 @Int (-3.760)
Arith -3.8