NumberEditor : guard against non-finite numbers