DRD: physicalRules.tf: tableSpacingRules: SKILL wanted

Hi all,

I am using IC5141 and for DRD I would like to use the tableSpacingRules within the physicalRules.tf:

tableSpacingRules(
  ( "minSpacing"   "NN"
  ("width"  nil  nil )
  ( 0.500   0.500
    0.700   0.700 )
  ); minSpacing
);tableSpacingRules

works fine!

but, if I want to use:

tableSpacingRules(
  ("minSpacing"  "NN"
  ("width"  nil  nil)
  (0.500   0.500
   0.700+0.001   0.700)
  ); minSpacing
); tableSpacingRules

then this does not work anymore: Compilation failed

even if I try: symbolToString(printf("%1.3f" 0.700+0.001)) instead of 0.700+0.001
it does not work. 

Any solutions for that?

Regards
Jos