The regex version is nice.
If you don't want the rounded number:
Regex( :Column 9, "\d+,\d+" );
edited: as I just noticed that the numbers have comma as decimal separator
I think it's a good idea to have ponit as the standard in jmp and convert commas to points as soon as the file is loaded.