Yep, that's just the way Samsung handles the request for a numeric keyboard. I don't have control over that, so I added the dropdown that you can see on that dialog to switch which keyboard is used. You'll have to switch to the full keyboard to have access to the - and , keys.
Also, just to follow up, version 3.7.5 is available now which fixes the undo problem you described earlier.
Mike
Also, just to follow up, version 3.7.5 is available now which fixes the undo problem you described earlier.
Mike