extension/num_extension library

Extensions

EditorNum on num