Ah, good catch, I updated it to use correct decimal point based on locale. You may need to unapply and reapply the patch after updating.
And please add it to the Web Catalog of Patchmanager.
I’ve moved this to the Feature Requests category. I agree it looks like a bug, and I agree it would be useful to have the capability to increase the rounding limit (or just have a higher limit by default), but as I understand it, the current behaviour isn’t a bug as such.
Nevertheless I’ve created an internal ticket suggesting possible solutions for this as a feature request. If there’s progress made on it, I’ll do my best to report back here.