Use refactored JSBN namespacing