For a project of mine, it's necessary to save a large quantity of part positions and orientations. I'm concerned about only using as many characters as I need, but I often find that a position in a chunk of data might look like so:
[[
{
"position": [4.50000000000000001, 9, -4.50000000000000001]
},
{
"position": [-13.500000000000001, 4.500000000000001, -4.5000000000000001]
}
]]
This isn't what the actual data looks like, but it's representative of the problem I'm facing. This uses MUCH more characters than necessary. I want to cut off at the first decimal place. How can I do this? If possible, I would like to solve this without using string methods.

3 comments
math.floor(n * 10) / 10 cuts it off to the first decimal place. n is the number that has rounded off.
I also understand your issue, since roundoff is a real pain.
That did the trick for me, if you wanna post that as an answer I'll accept it.