I hadn't occurred to me before, but I am okay with rounding up, if floating point is too annoying for now.