add asNumber() to JsonPrimitive