Fix: ws_value_int_get()

... to return the proper type and don't accidentially
cast away information.