(prefix, start, chars)
| 1214 | return chars.join(''); |
| 1215 | }; |
| 1216 | var peg$f141 = function(prefix, start, chars) { |
| 1217 | return prefix + start + chars.join(''); |
| 1218 | }; |
| 1219 | var peg$f142 = function(chars) { return chars.join(''); }; |
| 1220 | var peg$f143 = function() { |
| 1221 | return parseFloat(text()); |