socsvn - Revision 337283: /soc2015/stefano/ptnetmap/head/gnu/usr.bin/cc/libdecnumber