<@U14ECM2KV> Adding just the `isFloat()` text woul...

# tornadofx

[edvin]

@ron Adding just the isFloat() text would allow you to PASTE a float. The decimal sign (, or .) to accept is up to you. You could get that from the locale if you need to.