Redirecting to
../../../geop_core_editor/editing/struct.Number.html
...