@database numbers_example

@node main "Introduction to numbers"

This object does nothing and is just a skeleton for derived objects.

@endnode
