a simple numerical editor