Use numbers instead of strings when appropriate in websocket stream