Comment by stefanheule

I won't lie, this is not my favorite aspect, but the only way to do it is have numbers be represented as a string (e.g. "10.128") and use a library to manipulate them. The number type unfortunately just does not work.