Typing Random Numbers