This source works:

var text = '1234.1234.1234.1234';
print(text.split("."));

this works not:

var text = 1.0;
print(text.split("."));

The following code found inside JavaScript Mustache library (doesn't work with JInt) Mustache is used by variety of famous sites such as Twitter, LinkedIn, etc...