isJsonDouble

Is the JsonElement a JsonDoubleElement?

Since

0.3.0