Just try this:

    import regexp;

    int main()
    {
     (new RegExp('\d[\.\d]', "")).test("123.456");
     return 0;
    }

It throws a run-time exception "Switch Default", from regexp.d...