org.kiama.example.json.JSONTree
A JSON number value.
(Since version 2.8.0) use productIterator instead
A JSON number value.