Details | Last modification | View Log | RSS feed
define(function() {
return (/[+-]?(?:\d*\.|)\d+(?:[eE][+-]?\d+|)/).source;
});