[PD] Trailing zeros after decimal points in comments truncated?

[Peter P.]

Hi,

and please excuse me if this is known, but I have discovered that
writing a comment such as
	works with Pd 0.50
into a patch, saving, closing and reopening it will truncate the
trailing zero hence yielding
	works with Pd 0.5
I understand that the underlying logic might be the same as for other
mechanisms, but is there a possible fix or workaround?

cheers, P