I don't think lowering decimal precision is the right way to go.
Maybe you can add an option to the .obj exporter to let the user specify the amount of decimal places? A simple checkbox for 2 presets (like full precision / half precision) would be fine I guess.