(library
 (name decimal)
 (public_name decimal)
 (libraries str zarith))
