Corrections bugs libnum (Avril 2013)