decimal pattern value for dashed lines

Decimal value seems to be converted to integer.
By set 20 20.9 the off is 20

mapserver 6.2.0