=== modified file 'share/extensions/printing-marks.inx'
--- share/extensions/printing-marks.inx	2010-03-19 16:14:05 +0000
+++ share/extensions/printing-marks.inx	2013-12-10 12:19:08 +0000
@@ -26,12 +26,12 @@
 		<option value="cm">cm</option>
 		<option value="mm">mm</option>
       </param>
-      <param name="crop_offset"     type="float"  min="0.0"  max="9999.0"  _gui-text="Offset:">5</param>
+      <param name="crop_offset"     type="float"  min="0.0"  max="9999.0" precision="3" _gui-text="Offset:">5</param>
       <_param name="bleed_settings" type="description">Bleed Margin</_param>
-      <param name="bleed_top"       type="float"  min="0.0"  max="9999.0"  _gui-text="Top:">5</param>
-      <param name="bleed_bottom"    type="float"  min="0.0"  max="9999.0"  _gui-text="Bottom:">5</param>
-      <param name="bleed_left"      type="float"  min="0.0"  max="9999.0"  _gui-text="Left:">5</param>
-      <param name="bleed_right"     type="float"  min="0.0"  max="9999.0"  _gui-text="Right:">5</param>
+      <param name="bleed_top"       type="float"  min="0.0"  max="9999.0"  precision="3" _gui-text="Top:">5</param>
+      <param name="bleed_bottom"    type="float"  min="0.0"  max="9999.0"  precision="3" _gui-text="Bottom:">5</param>
+      <param name="bleed_left"      type="float"  min="0.0"  max="9999.0"  precision="3" _gui-text="Left:">5</param>
+      <param name="bleed_right"     type="float"  min="0.0"  max="9999.0"  precision="3" _gui-text="Right:">5</param>
     </page>
   </param>