And there are nasty bordeline cases, for example when number is smaller than the next integer but the difference is smaller than resolution of the convertion. Arguably in such case we should round up.
Isn't that easy to solve by adding (or subtracting if the number is negative) half of the precision (i.e. basically rounding the part after the dot)?
In fact, "round" is probably correct, but it should be round(10^n*x)/10^n and then do the splitting.
Ral -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ab1ade1d-9a0a-45b0-8392-2630f0da7df6%40gmail.com.
