Diff giac-1.9.0.55-r1 with a giac-1.9.0.995-r2

Thank you!