136
145
int i_of_dot = str.index_of_char ('.');
139
150
// Get the decimal number from the string, if such a thing exists.
140
151
if ((str.length - 1 > i_of_dot)) {
141
152
ret_val = long.parse ((str + "000").substring (i_of_dot + 1));
145
158
while (ret_val > MUL_FACTOR) {
153
171
ret_val = long.parse (str) * MUL_FACTOR;