Add number widget and expose user attributes

I can split this into two pull requests, but I did not find it necessary.