(library
 (name sexplib_num)
 (public_name sexplib.num)
 (libraries num sexplib)
 (preprocess no_preprocessing))
