roxen.lists.pike.general

Subject Author Date
Pike 7.8.316 beta Mirar @ Pike importmöte för m <6341[at]lyskom[dot]lysator[dot]liu[dot]se> 30-06-2009 
I agree, I just think that actual representation of the number is
better, and should have a higher priority than a decimal dot not to
misinterpret it as an integer.

Adding ".0" to the number if it's missing should be easy enough, so
there isn't any reason not to have both, is there?