int to double - assert not verified (#1030) · Issues · pub / frama-c