When exporting to STL blenders scale range is limited between 1000 and 0.01.
script/addons/io_mesh_stl/__init__.py it states:
102 global_scale = FloatProperty( 103 name="Scale", 104 soft_min=0.001, soft_max=1000.0, 105 min=1e-6, max=1e6, 106 default=1.0, 107 )
How can one increase what looks like a hard limit inside UI, to get the whole scale range? In particular, I wish to be able to export at scale 0.001 without resolving to change the global scene scale.