Fix precision problem when using Frac()

Before Frac(23/10) = 0.2999999999999998
Now Frac(23/10) = 0.3