[e-acsl] correctly handle negative integers in rational context

This fixes the pathological example from the previous commit by
adding missing code to Gmp.Q.normalize_str that handles signs.